From 397d05a64d2d4ba608b1ffa3a4a400099dd5b1dc Mon Sep 17 00:00:00 2001 From: James McMahon Date: Fri, 25 Feb 2011 19:33:07 +0000 Subject: [PATCH] Updated so Terminal launches default terminal (as defined in gconf) --- usr/lib/linuxmint/mintMenu/plugins/system_management.py | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/usr/lib/linuxmint/mintMenu/plugins/system_management.py b/usr/lib/linuxmint/mintMenu/plugins/system_management.py index 3247125..706b730 100755 --- a/usr/lib/linuxmint/mintMenu/plugins/system_management.py +++ b/usr/lib/linuxmint/mintMenu/plugins/system_management.py @@ -59,6 +59,10 @@ class pluginclass( object ): self.gconf.notifyAdd( "width", self.changePluginSize ) self.gconf.bindGconfEntryToVar( "bool", "sticky", self, "sticky" ) + #Get Terminal Info + self.tconf = EasyGConf( "/desktop/gnome/applications/terminal/" ) + self.term = self.tconf.get("string", "exec", "gnome-terminal") + self.GetGconfEntries() self.content_holder.set_size_request( self.width, self.height ) @@ -152,7 +156,7 @@ class pluginclass( object ): self.mintMenuWin.setTooltip( Button3, _("Configure your system") ) if ( self.showTerminal == True ): - Button4 = easyButton( "gnome-terminal", self.iconsize, [_("Terminal")], -1, -1 ) + Button4 = easyButton( self.term, self.iconsize, [_("Terminal")], -1, -1 ) Button4.connect( "clicked", self.ButtonClicked, "x-terminal-emulator" ) Button4.show() self.systemBtnHolder.pack_start( Button4, False, False )