#!/usr/bin/env python import gi gi.require_version("Gtk", "2.0") from gi.repository import Gtk, GdkPixbuf, Gdk from gi.repository import MatePanelApplet from gi.repository import Gio try: import sys from gi.repository import Pango import os import commands import gettext import traceback import time import gc import ctypes from ctypes import * import capi import xdg.Config except Exception, e: print e sys.exit( 1 ) gtk = CDLL("libgtk-x11-2.0.so.0") gdk = CDLL("libgdk-x11-2.0.so.0") global mbindkey # Load the key binding lib (developped by deskbar-applet, copied into mintMenu so we don't end up with an unnecessary dependency) try: from deskbar.core.keybinder import tomboy_keybinder_bind as bind_key except Exception, cause: print "*********** Keybind Driver Load Failure **************" print "Error Report : ", str(cause) pass # Rename the process architecture = commands.getoutput("uname -a") if (architecture.find("x86_64") >= 0): import ctypes libc = ctypes.CDLL('libc.so.6') libc.prctl(15, 'mintmenu', 0, 0, 0) else: import dl if os.path.exists('/lib/libc.so.6'): libc = dl.open('/lib/libc.so.6') libc.call('prctl', 15, 'mintmenu', 0, 0, 0) elif os.path.exists('/lib/i386-linux-gnu/libc.so.6'): libc = dl.open('/lib/i386-linux-gnu/libc.so.6') libc.call('prctl', 15, 'mintmenu', 0, 0, 0) # i18n gettext.install("mintmenu", "/usr/share/linuxmint/locale") NAME = _("Menu") PATH = os.path.abspath( os.path.dirname( sys.argv[0] ) ) sys.path.append( os.path.join( PATH , "plugins") ) windowManager = os.getenv("DESKTOP_SESSION") if not windowManager: windowManager = "MATE" xdg.Config.setWindowManager( windowManager.upper() ) from easybuttons import iconManager #from execute import * COMMENTED DURING MIGRATION class MainWindow( object ): """This is the main class for the application""" def __init__( self, toggleButton, settings ): self.settings = settings self.path = PATH sys.path.append( os.path.join( self.path, "plugins") ) self.detect_desktop_environment() self.icon = "/usr/lib/linuxmint/mintMenu/visualisation-logo.png" self.toggle = toggleButton # Load UI file and extract widgets builder = Gtk.Builder() builder.add_from_file(os.path.join( self.path, "mintMenu.ui" )) self.window = builder.get_object( "mainWindow" ) self.paneholder = builder.get_object( "paneholder" ) self.border = builder.get_object( "border" ) builder.connect_signals(self) self.panesToColor = [ ] self.headingsToColor = [ ] self.window.connect( "map-event", self.onMap ) self.window.connect( "show", self.onShow ) self.window.connect( "unmap-event", self.onUnmap ) self.window.connect( "button-press-event", self.onButtonPress ) self.window.connect( "key-press-event", self.onKeyPress ) self.window.connect( "grab-broken-event", self.onGrabBroken ) self.window.stick() plugindir = os.path.join( os.path.expanduser( "~" ), ".linuxmint/mintMenu/plugins" ) sys.path.append( plugindir ) self.getSetGconfEntries() self.SetupMintMenuBorder() self.SetupMintMenuOpacity() self.tooltips = Gtk.Tooltips() if self.globalEnableTooltips and self.enableTooltips: self.tooltips.enable() else: self.tooltips.disable() self.PopulatePlugins(); self.settings.connect( "changed::plugins_list", self.RegenPlugins ) self.settings.connect( "changed::start_with_favorites", self.toggleStartWithFavorites ) self.settings.connect( "changed::/apps/panel/global/tooltips_enabled", self.toggleTooltipsEnabled ) self.settings.connect( "changed::tooltips_enabled", self.toggleTooltipsEnabled ) self.settings.connect( "changed::use_custom_color", self.toggleUseCustomColor ) self.settings.connect( "changed::custom_border_color", self.toggleCustomBorderColor ) self.settings.connect( "changed::custom_heading_color", self.toggleCustomHeadingColor ) self.settings.connect( "changed::custom_color", self.toggleCustomBackgroundColor ) self.settings.connect( "changed::border_width", self.toggleBorderWidth ) self.settings.connect( "changed::opacity", self.toggleOpacity ) def on_window1_destroy (self, widget, data=None): Gtk.main_quit() sys.exit(0) def wakePlugins( self ): # Call each plugin and let them know we're showing up for plugin in self.plugins.values(): if hasattr( plugin, "destroy" ): plugin.wake() def toggleTooltipsEnabled( self, client, connection_id, entry, args ): if entry.get_key() == "/apps/panel/global/tooltips_enabled": self.globalEnableTooltips = entry.get_value().get_bool() else: self.enableTooltips = entry.get_value().get_bool() if self.globalEnableTooltips and self.enableTooltips: self.tooltips.enable() else: self.tooltips.disable() def toggleStartWithFavorites( self, client, connection_id, entry, args ): self.startWithFavorites = entry.get_value().get_bool() def toggleBorderWidth( self, client, connection_id, entry, args ): self.borderwidth = entry.get_value().get_int() self.SetupMintMenuBorder() def toggleOpacity( self, client, connection_id, entry, args ): self.opacity = entry.get_value().get_int() self.SetupMintMenuOpacity() def toggleUseCustomColor( self, client, connection_id, entry, args ): self.usecustomcolor = entry.get_value().get_bool() self.SetupMintMenuBorder() self.SetPaneColors( self.panesToColor ) self.SetHeadingStyle( self.headingsToColor ) def toggleCustomBorderColor( self, client, connection_id, entry, args ): self.custombordercolor = entry.get_value().get_string() self.SetupMintMenuBorder() def toggleCustomBackgroundColor( self, client, connection_id, entry, args ): self.customcolor = entry.get_value().get_string() self.SetPaneColors( self.panesToColor ) def toggleCustomHeadingColor( self, client, connection_id, entry, args ): self.customheadingcolor = entry.get_value().get_string() self.SetHeadingStyle( self.headingsToColor ) def getSetGconfEntries( self ): self.dottedfile = os.path.join( self.path, "dotted.png") self.pluginlist = self.settings.get_strv( "plugins-list" ) self.usecustomcolor = self.settings.get_boolean( "use-custom-color" ) self.customcolor = self.settings.get_string( "custom-color" ) self.customheadingcolor = self.settings.get_string( "custom-heading-color" ) self.custombordercolor = self.settings.get_string( "custom-border-color" ) self.borderwidth = self.settings.get_int( "border-width" ) self.opacity = self.settings.get_int( "opacity" ) self.offset = self.settings.get_int( "offset" ) self.enableTooltips = self.settings.get_boolean( "tooltips-enabled" ) self.startWithFavorites = self.settings.get_boolean( "start-with-favorites" ) mate_settings = Gio.Settings.new("org.mate.panel") self.globalEnableTooltips = mate_settings.get_boolean( "tooltips-enabled" ) def SetupMintMenuBorder( self ): if self.usecustomcolor: self.window.modify_bg( Gtk.StateType.NORMAL, Gdk.color_parse( self.custombordercolor ) ) else: self.window.modify_bg( Gtk.StateType.NORMAL, self.window.rc_get_style().bg[ Gtk.StateType.SELECTED ] ) self.border.set_padding( self.borderwidth, self.borderwidth, self.borderwidth, self.borderwidth ) def SetupMintMenuOpacity( self ): print "Opacity is: " + str(self.opacity) opacity = float(self.opacity) / float(100) print "Setting opacity to: " + str(opacity) self.window.set_opacity(opacity) def detect_desktop_environment (self): self.de = "mate" try: de = os.environ["DESKTOP_SESSION"] if de in ["gnome", "gnome-shell", "mate", "kde", "xfce"]: self.de = de else: if os.path.exists("/usr/bin/caja"): self.de = "mate" elif os.path.exists("/usr/bin/thunar"): self.de = "xfce" except Exception, detail: print detail def PopulatePlugins( self ): self.panesToColor = [ ] self.headingsToColor = [ ] start = time.time() PluginPane = Gtk.EventBox() PluginPane.show() PaneLadder = Gtk.VBox( False, 0 ) PluginPane.add( PaneLadder ) self.SetPaneColors( [ PluginPane ] ) ImageBox = Gtk.EventBox() self.SetPaneColors( [ ImageBox ] ) ImageBox.show() seperatorImage = GdkPixbuf.Pixbuf.new_from_file( self.dottedfile ) self.plugins = {} for plugin in self.pluginlist: if plugin in self.plugins: print u"Duplicate plugin in list: ", plugin continue if plugin != "newpane": try: X = __import__( plugin ) # If no parameter passed to plugin it is autonomous if X.pluginclass.__init__.func_code.co_argcount == 1: MyPlugin = X.pluginclass() else: # pass mintMenu and togglebutton instance so that the plugin can use it MyPlugin = X.pluginclass( self, self.toggle, self.de ) if not MyPlugin.icon: MyPlugin.icon = "mate-logo-icon.png" #if hasattr( MyPlugin, "hideseparator" ) and not MyPlugin.hideseparator: # Image1 = Gtk.Image() # Image1.set_from_pixbuf( seperatorImage ) # if not ImageBox.get_child(): # ImageBox.add( Image1 ) # Image1.show() #print u"Loading plugin '" + plugin + "' : sucessful" except Exception, e: MyPlugin = Gtk.EventBox() #Fake class for MyPlugin MyPlugin.heading = _("Couldn't load plugin:") + " " + plugin MyPlugin.content_holder = Gtk.EventBox() # create traceback info = sys.exc_info() errorLabel = Gtk.Label( "\n".join(traceback.format_exception( info[0], info[1], info[2] )).replace("\\n", "\n") ) errorLabel.set_selectable( True ) errorLabel.set_line_wrap( True ) errorLabel.set_alignment( 0.0, 0.0 ) errorLabel.set_padding( 5, 5 ) errorLabel.show() MyPlugin.content_holder.add( errorLabel ) MyPlugin.add( MyPlugin.content_holder ) MyPlugin.width = 270 MyPlugin.icon = 'mate-logo-icon.png' print u"Unable to load " + plugin + " plugin :-(" self.SetPaneColors( [MyPlugin.content_holder] ) MyPlugin.content_holder.show() VBox1 = Gtk.VBox( False, 0 ) if MyPlugin.heading != "": Label1 = Gtk.Label(label= MyPlugin.heading ) Align1 = Gtk.Alignment.new( 0, 0, 0, 0 ) Align1.set_padding( 10, 5, 10, 0 ) Align1.add( Label1 ) self.SetHeadingStyle( [Label1] ) Align1.show() Label1.show() if not hasattr( MyPlugin, 'sticky' ) or MyPlugin.sticky == True: heading = Gtk.EventBox() Align1.set_padding( 0, 0, 10, 0 ) self.SetPaneColors( [heading] ) heading.set_size_request( MyPlugin.width, 30 ) else: heading = Gtk.HBox() #heading.set_relief( Gtk.ReliefStyle.NONE ) heading.set_size_request( MyPlugin.width, -1 ) #heading.set_sensitive(False) #heading.connect( "button_press_event", self.TogglePluginView, VBox1, MyPlugin.icon, MyPlugin.heading, MyPlugin ) heading.add( Align1 ) heading.show() VBox1.pack_start( heading, False, False, 0 ) VBox1.show() #MyPlugin.container = VBox1 #Add plugin to Plugin Box under heading button MyPlugin.content_holder.reparent( VBox1 ) #Add plugin to main window PaneLadder.pack_start( VBox1 , True, True, 0) PaneLadder.show() if MyPlugin.window: MyPlugin.window.destroy() try: if hasattr( MyPlugin, 'do_plugin' ): MyPlugin.do_plugin() if hasattr( MyPlugin, 'height' ): MyPlugin.content_holder.set_size_request( -1, MyPlugin.height ) if hasattr( MyPlugin, 'itemstocolor' ): self.SetPaneColors( MyPlugin.itemstocolor ) except: # create traceback info = sys.exc_info() error = _("Couldn't initialize plugin") + " " + plugin + " : " + "\n".join(traceback.format_exception( info[0], info[1], info[2] )).replace("\\n", "\n") msgDlg = Gtk.MessageDialog( None, Gtk.DialogFlags.MODAL, Gtk.MessageType.ERROR, Gtk.ButtonsType.OK, error ) msgDlg.run(); msgDlg.destroy(); self.plugins[plugin] = MyPlugin else: self.paneholder.pack_start( ImageBox, False, False, 0 ) self.paneholder.pack_start( PluginPane, False, False, 0 ) PluginPane = Gtk.EventBox() PaneLadder = Gtk.VBox( False, 0 ) PluginPane.add( PaneLadder ) self.SetPaneColors( [PluginPane] ) ImageBox = Gtk.EventBox() self.SetPaneColors( [ImageBox] ) ImageBox.show() PluginPane.show_all() if self.plugins and hasattr( MyPlugin, 'hideseparator' ) and not MyPlugin.hideseparator: Image1 = Gtk.Image() Image1.set_from_pixbuf( seperatorImage ) Image1.show() #ImageBox.add( Image1 ) Align1 = Gtk.Alignment.new(0, 0, 0, 0) Align1.set_padding( 0, 0, 6, 6 ) Align1.add(Image1) ImageBox.add(Align1) ImageBox.show_all() self.paneholder.pack_start( ImageBox, False, False, 0 ) self.paneholder.pack_start( PluginPane, False, False, 0 ) self.tooltips.disable() #print u"Loading", (time.time() - start), "s" def SetPaneColors( self, items ): for item in items: if item not in self.panesToColor: self.panesToColor.append( item ) if self.usecustomcolor: for item in items: item.modify_bg( Gtk.StateType.NORMAL, Gdk.color_parse( self.customcolor ) ) else: for item in items: item.modify_bg( Gtk.StateType.NORMAL, self.paneholder.rc_get_style().bg[ Gtk.StateType.NORMAL ] ) def SetHeadingStyle( self, items ): return for item in items: if item not in self.headingsToColor: self.headingsToColor.append( item ) HeadingStyle = Pango.AttrList() attr = Pango.AttrSize( 12000, 0, -1 ) HeadingStyle.insert( attr ) if self.usecustomcolor: headingcolor = Gdk.color_parse( self.customheadingcolor ) attr = Pango.AttrForeground( headingcolor.red, headingcolor.green, headingcolor.blue, 0, -1 ) HeadingStyle.insert( attr ) # else: # headingcolor = self.window.rc_get_style().bg[ Gtk.StateType.SELECTED ] attr = Pango.AttrWeight( Pango.Weight.BOLD, 0, -1 ) HeadingStyle.insert( attr ) for item in items: item.set_attributes( HeadingStyle ) def setTooltip( self, widget, tip, tipPrivate = None ): self.tooltips.set_tip( widget, tip, tipPrivate ) def RegenPlugins( self, *args, **kargs ): #print #print u"Reloading Plugins..." for item in self.paneholder: item.destroy() for plugin in self.plugins.values(): if hasattr( plugin, "destroy" ): plugin.destroy() try: del plugin except: pass try: del self.plugins except: pass gc.collect() self.getSetGconfEntries() self.PopulatePlugins() #print NAME+u" reloaded" def show( self ): self.window.present() if ( "applications" in self.plugins ) and ( hasattr( self.plugins["applications"], "focusSearchEntry" ) ): if (self.startWithFavorites): self.plugins["applications"].changeTab(0) self.plugins["applications"].focusSearchEntry() def grab( self ): gdk.gdk_pointer_grab (hash(self.window.window), True, Gdk.EventMask.BUTTON_PRESS_MASK, None, None, 0) Gdk.keyboard_grab( self.window.window, False, Gdk.CURRENT_TIME ) Gtk.grab_add(self.window) def ungrab( self ): Gtk.grab_remove(self.window) self.window.hide() Gdk.pointer_ungrab(Gdk.CURRENT_TIME) Gdk.keyboard_ungrab(Gdk.CURRENT_TIME) def onMap( self, widget, event ): self.grab() def onShow( self, widget ): for plugin in self.plugins.values(): if hasattr( plugin, "onShowMenu" ): plugin.onShowMenu() def onUnmap( self, widget, event ): self.ungrab() for plugin in self.plugins.values(): if hasattr( plugin, "onHideMenu" ): plugin.onHideMenu() def onKeyPress( self, widget, event ): if event.keyval == Gdk.KEY_Escape or event.keyval == Gdk.KEY_Super_L: self.hide() return False def onButtonPress( self, widget, event ): # Check if the pointer is within the menu, else hide the menu winatptr = Gdk.window_at_pointer() if winatptr: win = winatptr[0] while win: if win == self.window.window: break win = capi.get_widget(gdk.gdk_window_get_parent (hash(win))) if not win: self.hide( True ) else: self.hide( True ) return True def onGrabBroken( self, widget, event ): if event.grab_broken.grab_window: try: theft = event.grab_broken.grab_window.get_user_data() theft.connect( "event", self.onGrabTheftEvent ) except: self.window.hide( True ) def onGrabTheftEvent( self, widget, event ): if event.type == Gdk.UNMAP or event.type == Gdk.SELECTION_CLEAR: self.grab() def hide(self, forceHide = False): self.window.hide() class MenuWin( object ): def __init__( self, applet, iid ): self.applet = applet self.settings = Gio.Settings.new("com.linuxmint.mintmenu") self.settings.connect( "changed::applet_text", self.reloadSettings ) self.settings.connect( "changed::theme_name", self.changeTheme ) self.settings.connect( "changed::hot_key", self.reloadSettings ) self.settings.connect( "changed::applet_icon", self.reloadSettings ) self.settings.connect( "changed::hide-applet-icon", self.reloadSettings ) self.settings.connect( "changed::applet_icon_size", self.reloadSettings ) self.loadSettings() mate_settings = Gio.Settings.new("org.mate.interface") mate_settings.connect( "changed::gtk-theme", self.changeTheme ) self.createPanelButton() self.applet.set_flags( MatePanelApplet.AppletFlags.EXPAND_MINOR ) self.applet.connect( "button-press-event", self.showMenu ) self.applet.connect( "change-orient", self.changeOrientation ) self.applet.connect( "change-background", self.changeBackground ) self.applet.connect("enter-notify-event", self.enter_notify) self.applet.connect("leave-notify-event", self.leave_notify) self.mainwin = MainWindow( self.button_box, self.settings ) self.mainwin.window.connect( "map-event", lambda *args: self.applet.set_state( Gtk.StateType.SELECTED ) ) self.mainwin.window.connect( "unmap-event", lambda *args: self.applet.set_state( Gtk.StateType.NORMAL ) ) self.mainwin.window.connect( "size-allocate", lambda *args: self.positionMenu() ) self.mainwin.window.set_name("mintmenu") # Name used in Gtk RC files icon = iconManager.getIcon( self.mainwin.icon, 1 ) if icon: Gtk.Window.set_default_icon( icon ) self.propxml = """ """ % ( _("Preferences"), _("Edit menu"), _("Reload plugins"), _("About") ) self.verbs = [ ("Preferences", self.showPreferences), ("Edit", self.showMenuEditor), ("About", self.showAboutDialog), ("Reload",self.mainwin.RegenPlugins) ] self.bind_hot_key() def onBindingPress(self): try: if self.mainwin.window.flags() & Gtk.VISIBLE: self.mainwin.window.hide() self.mainwin.toggle.set_active(False) else: MenuWin.showMenu(self,self.mainwin.toggle) self.mainwin.window.show() #self.mainwin.wTree.get_widget( 'PluginTabs' ).set_curremenu_editor = SetGconf( self.client, "string", "/apps/usp/menu_editor", "mozo" ) except Exception, cause: print cause def enter_notify(self, applet, event): self.do_image(self.buttonIcon, True) def leave_notify(self, applet, event): self.do_image(self.buttonIcon, False) def do_image(self, image_file, saturate): pixbuf = GdkPixbuf.Pixbuf.new_from_file(image_file) if saturate: GdkPixbuf.Pixbuf.saturate_and_pixelate(pixbuf, pixbuf, 1.5, False) self.button_icon.set_from_pixbuf(pixbuf) def createPanelButton( self ): self.button_icon = Gtk.Image.new_from_file( self.buttonIcon ) self.systemlabel = Gtk.Label(label= self.buttonText ) if os.path.exists("/etc/linuxmint/info"): import commands tooltip = commands.getoutput("cat /etc/linuxmint/info | grep DESCRIPTION") tooltip = tooltip.replace("DESCRIPTION", "") tooltip = tooltip.replace("=", "") tooltip = tooltip.replace("\"", "") self.systemlabel.set_tooltip_text(tooltip) self.button_icon.set_tooltip_text(tooltip) if self.applet.get_orient() == MatePanelApplet.AppletOrient.UP or self.applet.get_orient() == MatePanelApplet.AppletOrient.DOWN: self.button_box = Gtk.HBox() self.button_box.pack_start( self.button_icon, False, False, 0 ) self.button_box.pack_start( self.systemlabel, False, False, 0 ) self.button_icon.set_padding( 5, 0 ) # if we have a vertical panel elif self.applet.get_orient() == MatePanelApplet.AppletOrient.LEFT: self.button_box = Gtk.VBox() self.systemlabel.set_angle( 270 ) self.button_box.pack_start( self.systemlabel , True, True, 0) self.button_box.pack_start( self.button_icon , True, True, 0) self.button_icon.set_padding( 5, 0 ) elif self.applet.get_orient() == MatePanelApplet.AppletOrient.RIGHT: self.button_box = Gtk.VBox() self.systemlabel.set_angle( 90 ) self.button_box.pack_start( self.button_icon , True, True, 0) self.button_box.pack_start( self.systemlabel , True, True, 0) self.button_icon.set_padding( 0, 5 ) self.button_box.set_homogeneous( False ) self.button_box.show_all() self.sizeButton() self.applet.add( self.button_box ) def loadSettings( self, *args, **kargs ): self.hideIcon = self.settings.get_boolean( "hide-applet-icon" ) 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" ) self.buttonIcon = self.settings.get_string( "applet-icon" ) self.iconSize = self.settings.get_int( "applet-icon-size" ) def changeBackground( self, applet, type, color, pixmap ): self.applyTheme() # get reset style self.applet.set_style(None) rc_style = Gtk.RcStyle() self.applet.modify_style(rc_style) if MatePanelApplet.AppletBackgroundType.COLOR_BACKGROUND == type: applet.modify_bg( Gtk.StateType.NORMAL, color ) elif MatePanelApplet.AppletBackgroundType.PIXMAP_BACKGROUND == type: style = applet.style style.bg_pixmap[ Gtk.StateType.NORMAL ] = pixmap applet.set_style( style ) def changeTheme(self, *args): self.reloadSettings() self.applyTheme() self.mainwin.RegenPlugins() def applyTheme(self): style_settings = Gtk.Settings.get_default() mate_settings = Gio.Settings.new("org.mate.interface") desktop_theme = mate_settings.get_string('gtk-theme') if self.theme_name == "default": style_settings.set_property("gtk-theme-name", desktop_theme) else: try: style_settings.set_property("gtk-theme-name", self.theme_name) except: style_settings.set_property("gtk-theme-name", desktop_theme) def changeOrientation( self, *args, **kargs ): if self.applet.get_orient() == MatePanelApplet.AppletOrient.UP or self.applet.get_orient() == MatePanelApplet.AppletOrient.DOWN: tmpbox = Gtk.HBox() self.systemlabel.set_angle( 0 ) self.button_box.reorder_child( self.button_icon, 0 ) self.button_icon.set_padding( 5, 0 ) elif self.applet.get_orient() == MatePanelApplet.AppletOrient.LEFT: tmpbox = Gtk.VBox() self.systemlabel.set_angle( 270 ) self.button_box.reorder_child( self.button_icon, 1 ) self.button_icon.set_padding( 0, 5 ) elif self.applet.get_orient() == MatePanelApplet.AppletOrient.RIGHT: tmpbox = Gtk.VBox() self.systemlabel.set_angle( 90 ) self.button_box.reorder_child( self.button_icon, 0 ) self.button_icon.set_padding( 0, 5 ) tmpbox.set_homogeneous( False ) # reparent all the hboxes to the new tmpbox for i in self.button_box: i.reparent( tmpbox ) self.button_box.destroy() self.button_box = tmpbox self.button_box.show() # this call makes sure width stays intact self.updateButton() self.applet.add( self.button_box ) def updateButton( self ): self.systemlabel.set_text( self.buttonText ) self.button_icon.clear() self.button_icon.set_from_file( self.buttonIcon ) self.sizeButton() def bind_hot_key (self): pass # try: # # Binding menu to hotkey # print "Binding to Hot Key: " + self.hotkeyText # bind_key( self.hotkeyText, self.onBindingPress ) # except Exception, cause: # print "** WARNING ** - Menu Hotkey Binding Error" # print "Error Report :\n", str(cause) # pass def sizeButton( self ): if self.hideIcon: self.button_icon.hide() else: self.button_icon.show() # This code calculates width and height for the button_box # and takes the orientation in account sl_req = Gtk.Requisition() bi_req = Gtk.Requisition() self.button_icon.size_request(bi_req) self.systemlabel.size_request(sl_req) if self.applet.get_orient() == MatePanelApplet.AppletOrient.UP or self.applet.get_orient() == MatePanelApplet.AppletOrient.DOWN: if self.hideIcon: self.systemlabel.size_request(sl_req) self.applet.set_size_request( sl_req.width + 2, -1 ) else: self.applet.set_size_request( sl_req.width + bi_req.width + 5, bi_req.height ) else: if self.hideIcon: self.applet.set_size_request( bi_req.width, sl_req.height + 2 ) else: self.applet.set_size_request( bi_req.width, sl_req.height + bi_req.height + 5 ) def reloadSettings( self, *args ): self.loadSettings() self.updateButton() def showAboutDialog( self, uicomponent, verb ): Gtk.about_dialog_set_email_hook( lambda dialog, mail: gnomevfs.url_show( "mailto:" + mail ) ) Gtk.about_dialog_set_url_hook( lambda dialog, url: gnomevfs.url_show( url ) ) about = Gtk.AboutDialog() about.set_name("mintMenu") import commands version = commands.getoutput("/usr/lib/linuxmint/common/version.py mintmenu") about.set_version(version) try: h = open('/usr/share/common-licenses/GPL','r') s = h.readlines() gpl = "" for line in s: gpl += line h.close() about.set_license(gpl) except Exception, detail: print detail about.set_comments( _("Advanced Gnome Menu") ) about.set_authors( ["Clement Lefebvre ", "Lars-Peter Clausen "] ) about.set_translator_credits(("translator-credits") ) #about.set_copyright( _("Based on USP from S.Chanderbally") ) about.set_logo( GdkPixbuf.Pixbuf.new_from_file("/usr/lib/linuxmint/mintMenu/icon.svg") ) about.connect( "response", lambda dialog, r: dialog.destroy() ) about.show() def showPreferences( self, uicomponent, verb ): # Execute( "mateconf-editor /apps/mintMenu" ) Execute( os.path.join( PATH, "mintMenuConfig.py" ) ) def showMenuEditor( self, uicomponent, verb ): Execute( "mozo" ) def showMenu( self, widget=None, event=None ): if event == None or event.button == 1: self.toggleMenu() # show right click menu elif event.button == 3: self.create_menu() # allow middle click and drag elif event.button == 2: self.mainwin.hide( True ) def toggleMenu( self ): if self.applet.state & Gtk.StateType.SELECTED: self.mainwin.hide( True ) else: self.positionMenu() self.mainwin.show() self.wakePlugins() def wakePlugins( self ): self.mainwin.wakePlugins() def positionMenu( self ): # Get our own dimensions & position ourWidth = self.mainwin.window.get_size()[0] ourHeight = self.mainwin.window.get_size()[1] + self.mainwin.offset x = c_int() y = c_int() # Get the dimensions/position of the widgetToAlignWith gdk.gdk_window_get_origin(hash(self.applet.window), byref(x), byref(y)) entryX = x.value entryY = y.value entryWidth, entryHeight = self.applet.get_allocation().width, self.applet.get_allocation().height entryHeight = entryHeight + self.mainwin.offset # Get the screen dimensions screenHeight = Gdk.Screen.height() screenWidth = Gdk.Screen.width() if self.applet.get_orient() == MatePanelApplet.AppletOrient.UP or self.applet.get_orient() == MatePanelApplet.AppletOrient.DOWN: if entryX + ourWidth < screenWidth or entryX + entryWidth / 2 < screenWidth / 2: # Align to the left of the entry newX = entryX else: # Align to the right of the entry newX = entryX + entryWidth - ourWidth if entryY + entryHeight / 2 < screenHeight / 2: # Align to the bottom of the entry newY = entryY + entryHeight else: newY = entryY - ourHeight else: if entryX + entryWidth / 2 < screenWidth / 2: # Align to the left of the entry newX = entryX + entryWidth else: # Align to the right of the entry newX = entryX - ourWidth if entryY + ourHeight < screenHeight or entryY + entryHeight / 2 < screenHeight / 2: # Align to the bottom of the entry newY = entryY else: newY = entryY - ourHeight + entryHeight # -"Move window" self.mainwin.window.move( newX, newY ) # this callback is to create a context menu def create_menu(self): self.applet.setup_menu(self.propxml, self.verbs, None) def applet_factory( applet, iid, data ): MenuWin( applet, iid ) applet.show() return True def quit_all(widget): Gtk.main_quit() sys.exit(0) MatePanelApplet.Applet.factory_main("MintMenuAppletFactory", True, MatePanelApplet.Applet.__gtype__, applet_factory, None)