mintmenu/usr/lib/linuxmint/mintMenu/mintMenu.ui
2013-03-04 16:50:14 +00:00

30 lines
1.1 KiB
XML

<?xml version="1.0"?>
<interface>
<!-- interface-requires gtk+ 2.10 -->
<!-- interface-naming-policy toplevel-contextual -->
<object class="GtkWindow" id="mainWindow">
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK | GDK_KEY_PRESS_MASK | GDK_KEY_RELEASE_MASK</property>
<property name="type">popup</property>
<property name="resizable">False</property>
<property name="type_hint">menu</property>
<property name="skip_taskbar_hint">True</property>
<property name="skip_pager_hint">True</property>
<property name="decorated">False</property>
<property name="deletable">False</property>
<signal handler="gtk_widget_hide" name="key_press_event"/>
<child>
<object class="GtkAlignment" id="border">
<property name="visible">True</property>
<child>
<object class="GtkHBox" id="paneholder">
<property name="visible">True</property>
<child>
<placeholder/>
</child>
</object>
</child>
</object>
</child>
</object>
</interface>