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

Merge pull request #49 from ktaragorn/fix_favorites

Browse Source 
Fix Minor issues with favorite menu and others
This commit is contained in:
Clement Lefebvre 2013-11-25 05:17:35 -08:00
commit cd0139389c
1 changed files with 8 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -811,8 +811,10 @@ class pluginclass( object ):
if self.donotfilterapps: if self.donotfilterapps:
widget.set_text( "" ) widget.set_text( "" )
else: else:
text = widget.get_text()
if self.lastActiveTab != 1: if self.lastActiveTab != 1:
self.changeTab( 1 ) self.changeTab( 1 )
widget.set_text( text )
text = widget.get_text() text = widget.get_text()
showns = False # Are any app shown? showns = False # Are any app shown?
shownList = [] shownList = []
@ -949,7 +951,8 @@ class pluginclass( object ):
mTree.show_all() mTree.show_all()
gtk.gtk_menu_popup(hash(mTree), None, None, None, None, ev.button, ev.time) gtk.gtk_menu_popup(hash(mTree), None, None, None, None, ev.button, ev.time)
self.mintMenuWin.grab() #self.mintMenuWin.grab()
mTree.connect( 'deactivate', self.onMenuPopupDeactivate)
else: else:
mTree = Gtk.Menu() mTree = Gtk.Menu()
@ -969,7 +972,8 @@ class pluginclass( object ):
insertSpaceMenuItem.connect( "activate", self.onFavoritesInsertSpace, widget, insertBefore ) insertSpaceMenuItem.connect( "activate", self.onFavoritesInsertSpace, widget, insertBefore )
insertSeparatorMenuItem.connect( "activate", self.onFavoritesInsertSeparator, widget, insertBefore ) insertSeparatorMenuItem.connect( "activate", self.onFavoritesInsertSeparator, widget, insertBefore )
gtk.gtk_menu_popup(hash(mTree), None, None, None, None, ev.button, ev.time) gtk.gtk_menu_popup(hash(mTree), None, None, None, None, ev.button, ev.time)
self.mintMenuWin.grab() #self.mintMenuWin.grab()
mTree.connect( 'deactivate', self.onMenuPopupDeactivate)
def menuPopup( self, widget, event ): def menuPopup( self, widget, event ):
if event.button == 3: if event.button == 3:
@ -1115,7 +1119,8 @@ class pluginclass( object ):
#menu.attach_to_widget(self.searchButton, None) #menu.attach_to_widget(self.searchButton, None)
#menu.reposition() #menu.reposition()
#menu.reposition() #menu.reposition()
self.mintMenuWin.grab() #self.mintMenuWin.grab()
menu.connect( 'deactivate', self.onMenuPopupDeactivate)
self.focusSearchEntry() self.focusSearchEntry()
return True return True