ukui-menu.py 文件源码

def __init__( self, keybinder, settings ):
        self.keybinder = keybinder
        self.settings = settings


        self.data_path = os.path.join( '/', 'usr', 'share', 'ukui-menu' )
        self.icon = "/usr/share/ukui-menu/icons/ukui-logo.svg"

        # Load UI file and extract widgets
        builder = Gtk.Builder()
        builder.add_from_file(os.path.join( self.data_path, "ukui-menu.glade" ))
        self.window     = builder.get_object( "mainWindow" )
        self.eventbox   = builder.get_object( "eventbox1" )
        self.paneholder = builder.get_object( "paneholder" )
        self.border     = builder.get_object( "border" )

        builder.connect_signals(self)

        self.borderwidth = 1
        self.border.set_padding( self.borderwidth, self.borderwidth, self.borderwidth, self.borderwidth )
        defaultStyle = self.getDefaultStyle()
        color = defaultStyle.lookup_color('taskbar_applet_border_color')[1]
        if color == Gdk.Color(red=0, green=0, blue=0):
            self.window.modify_bg( Gtk.StateType.NORMAL, Gdk.color_parse( "#014276" ))
        else:
            self.window.modify_bg( Gtk.StateType.NORMAL, color )
        self.eventbox.set_name("EventBox")

        self.window.connect( "key-press-event", self.onKeyPress )
        self.window.connect( "focus-in-event", self.onFocusIn )
        self.loseFocusId = self.window.connect( "focus-out-event", self.onFocusOut )
        self.loseFocusBlocked = False

        self.offset = 0

        self.window.stick()

        self.PopulatePlugins()