From fcbbbccb1fc3084671d30b871bcf2c2ad5463991 Mon Sep 17 00:00:00 2001 From: Michael Webster Date: Sat, 9 Mar 2013 11:50:43 -0500 Subject: [PATCH] But make sure to initialize the panel and panel_position properties immediately --- usr/lib/linuxmint/mintMenu/plugins/applications.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/usr/lib/linuxmint/mintMenu/plugins/applications.py b/usr/lib/linuxmint/mintMenu/plugins/applications.py index db1bb61..469a958 100755 --- a/usr/lib/linuxmint/mintMenu/plugins/applications.py +++ b/usr/lib/linuxmint/mintMenu/plugins/applications.py @@ -339,6 +339,8 @@ class pluginclass( object ): self.refresh_apt_cache() self.suggestions = [] self.current_suggestion = None + self.panel = "top" + self.panel_position = -1 self.builder.get_object("searchButton").connect( "button-release-event", self.searchPopup ) @@ -348,8 +350,6 @@ class pluginclass( object ): os.system("/usr/lib/linuxmint/mintMenu/plugins/get_apt_cache.py > %s/.linuxmint/mintMenu/apt.cache &" % home) def get_panel(self): - self.panel = "top" - self.panel_position = -1 panelsettings = Gio.Settings.new("org.mate.panel") applet_list = panelsettings.get_strv("object-id-list") for applet in applet_list: