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

Applications: Fix keypress event handler

Browse Source
This commit is contained in:
gm10 2019-01-19 01:30:09 +01:00
parent 9e97c7d33b
commit 2a89abc910
No known key found for this signature in database
GPG Key ID: A981D4EA8CF993A9
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -215,7 +215,7 @@ class pluginclass( object ):
self.filterTimer = None
self.menuChangedTimer = None
# Hookup for text input
self.content_holder.connect( "key-press-event", self.keyPress )
self.mintMenuWin.window.connect( "key-press-event", self.keyPress )
self.favoritesBox.connect( "drag-data-received", self.ReceiveCallback )
@ -250,7 +250,7 @@ class pluginclass( object ):
print detail
self.currentFavCol = 0
self.favorites = []
self.content_holder.set_size_request( self.width, self.height )
self.categoriesBox.set_size_request( self.width / 3, -1 )
self.applicationsBox.set_size_request( self.width / 2, -1 )
@ -283,7 +283,7 @@ class pluginclass( object ):
self.icon_theme = Gtk.IconTheme.get_default();
self.icon_theme.connect("changed", self.on_icon_theme_changed)
def refresh_apt_cache(self):
if self.useAPT:
os.system("mkdir -p %s/.linuxmint/mintMenu/" % home)
@ -1481,7 +1481,7 @@ class pluginclass( object ):
self.favoritesReorder( favButton.position, position )
self.favoritesSave()
def favoritesRemove( self, position ):
tmp = self.favorites[ position ]
self.favorites.remove( self.favorites[ position ] )