jbah.skp/mintmenu
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Some cleanup

Browse Source
This commit is contained in:
Michael Webster 2013-05-20 22:07:56 -04:00
parent e6fdecaba4
commit 4b7ec202ca
3 changed files with 9 additions and 39 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
usr/lib/linuxmint/mintMenu/mintMenu.glade
View File

@ -1,8 +1,8 @@
<?xml version="1.0"?> <?xml version="1.0"?>
<glade-interface> <interface>
<!-- interface-requires gtk+ 2.10 --> <!-- interface-requires gtk+ 2.10 -->
<!-- interface-naming-policy toplevel-contextual --> <!-- interface-naming-policy toplevel-contextual -->
<widget class="GtkWindow" id="mainWindow"> <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="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="type">popup</property>
<property name="resizable">False</property> <property name="resizable">False</property>
@ -11,19 +11,18 @@
<property name="skip_pager_hint">True</property> <property name="skip_pager_hint">True</property>
<property name="decorated">False</property> <property name="decorated">False</property>
<property name="deletable">False</property> <property name="deletable">False</property>
<signal name="key_press_event" handler="gtk_widget_hide"/>
<child> <child>
<widget class="GtkAlignment" id="border"> <object class="GtkAlignment" id="border">
<property name="visible">True</property> <property name="visible">True</property>
<child> <child>
<widget class="GtkHBox" id="paneholder"> <object class="GtkHBox" id="paneholder">
<property name="visible">True</property> <property name="visible">True</property>
<child> <child>
<placeholder/> <placeholder/>
</child> </child>
</widget> </object>
</child> </child>
</widget> </object>
</child> </child>
</widget> </object>
</glade-interface> </interface>

2
usr/lib/linuxmint/mintMenu/mintMenu.py
View File

@ -78,7 +78,7 @@ class MainWindow( object ):
self.toggle = toggleButton self.toggle = toggleButton
# Load UI file and extract widgets # Load UI file and extract widgets
builder = Gtk.Builder() builder = Gtk.Builder()
builder.add_from_file(os.path.join( self.path, "mintMenu.ui" )) builder.add_from_file(os.path.join( self.path, "mintMenu.glade" ))
self.window = builder.get_object( "mainWindow" ) self.window = builder.get_object( "mainWindow" )
self.paneholder = builder.get_object( "paneholder" ) self.paneholder = builder.get_object( "paneholder" )
self.border = builder.get_object( "border" ) self.border = builder.get_object( "border" )

29
usr/lib/linuxmint/mintMenu/mintMenu.ui
View File

@ -1,29 +0,0 @@
<?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>