From 7cf036f18a4e78f65025f98ec7cd45854614446c Mon Sep 17 00:00:00 2001 From: George Anastasiou Date: Sat, 24 Dec 2016 16:56:08 +0200 Subject: [PATCH] Reload settings if applet icon does not exist --- usr/lib/linuxmint/mintMenu/mintMenu.py | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/usr/lib/linuxmint/mintMenu/mintMenu.py b/usr/lib/linuxmint/mintMenu/mintMenu.py index 6f712a3..44a590f 100755 --- a/usr/lib/linuxmint/mintMenu/mintMenu.py +++ b/usr/lib/linuxmint/mintMenu/mintMenu.py @@ -578,6 +578,12 @@ class MenuWin( object ): self.buttonText = self.settings.get_string("applet-text") self.theme_name = self.settings.get_string( "theme-name" ) self.hotkeyText = self.settings.get_string( "hot-key" ) + + # If applet-icon does not exist fall back to default or else menu wont start + if not os.path.exists( self.settings.get_string( "applet-icon" ) ): + os.system( "gsettings reset com.linuxmint.mintmenu applet-icon" ) + self.settings = Gio.Settings.new( "com.linuxmint.mintmenu" ) + self.buttonIcon = self.settings.get_string( "applet-icon" ) self.iconSize = self.settings.get_int( "applet-icon-size" )