diff options
Diffstat (limited to '')
| -rw-r--r-- | desktop/uiconfig/ui/extensionmenu.ui | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/desktop/uiconfig/ui/extensionmenu.ui b/desktop/uiconfig/ui/extensionmenu.ui new file mode 100644 index 000000000..ff889b46c --- /dev/null +++ b/desktop/uiconfig/ui/extensionmenu.ui @@ -0,0 +1,9 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!-- Generated with glade 3.22.1 --> +<interface domain="dkt"> + <requires lib="gtk+" version="3.20"/> + <object class="GtkMenu" id="menu"> + <property name="visible">True</property> + <property name="can_focus">False</property> + </object> +</interface> |