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

Fix theme issues on separators, spacers

Browse Source
This commit is contained in:
Michael Webster 2013-03-14 10:11:15 -04:00
parent e9745fd8eb
commit cb524d5d79
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
usr/lib/linuxmint/mintMenu/plugins/applications.py
View File

@ -628,6 +628,7 @@ class pluginclass( object ):
separator = Gtk.EventBox() separator = Gtk.EventBox()
separator.add(Gtk.HSeparator()) separator.add(Gtk.HSeparator())
separator.set_visible_window(False)
separator.set_size_request(-1, 20) separator.set_size_request(-1, 20)
separator.type = "separator" separator.type = "separator"
self.mintMenuWin.SetPaneColors( [ separator ] ) self.mintMenuWin.SetPaneColors( [ separator ] )
@ -707,6 +708,7 @@ class pluginclass( object ):
if keyword == self.searchEntry.get_text() and len(found_packages) > 0: if keyword == self.searchEntry.get_text() and len(found_packages) > 0:
last_separator = Gtk.EventBox() last_separator = Gtk.EventBox()
last_separator.add(Gtk.HSeparator()) last_separator.add(Gtk.HSeparator())
last_separator.set_visible_window(False)
last_separator.set_size_request(-1, 20) last_separator.set_size_request(-1, 20)
last_separator.type = "separator" last_separator.type = "separator"
self.mintMenuWin.SetPaneColors( [ last_separator ] ) self.mintMenuWin.SetPaneColors( [ last_separator ] )
@ -759,6 +761,7 @@ class pluginclass( object ):
if len(found_packages) > 0: if len(found_packages) > 0:
last_separator = Gtk.EventBox() last_separator = Gtk.EventBox()
last_separator.add(Gtk.HSeparator()) last_separator.add(Gtk.HSeparator())
last_separator.set_visible_window(False)
last_separator.set_size_request(-1, 20) last_separator.set_size_request(-1, 20)
last_separator.type = "separator" last_separator.type = "separator"
self.mintMenuWin.SetPaneColors( [ last_separator ] ) self.mintMenuWin.SetPaneColors( [ last_separator ] )
@ -1317,6 +1320,7 @@ class pluginclass( object ):
def favoritesBuildSpace( self ): def favoritesBuildSpace( self ):
space = Gtk.EventBox() space = Gtk.EventBox()
space.set_size_request( -1, 20 ) space.set_size_request( -1, 20 )
space.set_visible_window(False)
space.connect( "button_release_event", self.favPopup ) space.connect( "button_release_event", self.favPopup )
space.type = "space" space.type = "space"
@ -1327,7 +1331,6 @@ class pluginclass( object ):
def favoritesBuildSeparator( self ): def favoritesBuildSeparator( self ):
separator = Gtk.HSeparator() separator = Gtk.HSeparator()
#separator.add( gtk.HSeparator() )
separator.set_size_request( -1, 20 ) separator.set_size_request( -1, 20 )
separator.type = "separator" separator.type = "separator"
@ -1336,6 +1339,7 @@ class pluginclass( object ):
box = Gtk.EventBox() box = Gtk.EventBox()
box.type = "separator" box.type = "separator"
box.add(separator) box.add(separator)
box.set_visible_window(False)
box.connect( "button_release_event", self.favPopup ) box.connect( "button_release_event", self.favPopup )
box.show_all() box.show_all()
return box return box