2010-09-13 12:10:43 +01:00
|
|
|
<?xml version="1.0"?>
|
2009-07-27 11:45:34 +01:00
|
|
|
<glade-interface>
|
2010-09-13 12:10:43 +01:00
|
|
|
<!-- interface-requires gtk+ 2.10 -->
|
|
|
|
|
<!-- interface-naming-policy toplevel-contextual -->
|
2009-07-27 11:45:34 +01:00
|
|
|
<widget 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>
|
2010-09-13 12:10:43 +01:00
|
|
|
<property name="type">popup</property>
|
2009-07-27 11:45:34 +01:00
|
|
|
<property name="resizable">False</property>
|
2010-09-13 12:10:43 +01:00
|
|
|
<property name="type_hint">menu</property>
|
2009-07-27 11:45:34 +01:00
|
|
|
<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 name="key_press_event" handler="gtk_widget_hide"/>
|
|
|
|
|
<child>
|
|
|
|
|
<widget class="GtkAlignment" id="border">
|
|
|
|
|
<property name="visible">True</property>
|
|
|
|
|
<child>
|
|
|
|
|
<widget class="GtkHBox" id="paneholder">
|
|
|
|
|
<property name="visible">True</property>
|
|
|
|
|
<child>
|
|
|
|
|
<placeholder/>
|
|
|
|
|
</child>
|
|
|
|
|
</widget>
|
|
|
|
|
</child>
|
|
|
|
|
</widget>
|
|
|
|
|
</child>
|
|
|
|
|
</widget>
|
|
|
|
|
</glade-interface>
|
