desktop/uiconfig/ui/extensionmenu.ui


1
2
3
4
5
6
7
8
9

<?xml version="1.0" encoding="UTF-8"?>
<!-- Generated with glade 3.22.1 -->
<interface domain="dkt">
  <requires lib="gtk+" version="3.18"/>
  <object class="GtkMenu" id="menu">
    <property name="visible">True</property>
    <property name="can_focus">False</property>
  </object>
</interface>