class _ContextMenu(Gtk.Menu): def __init__(self, desktop_control, configure_glade_file, shell, plugin): Gtk.Menu.__init__(self) self.shell = shell self.show_player = Gtk.CheckMenuItem.new_with_label('Show Music Player') self.show_player.set_active(True) self.show_player.connect('activate', self.toggle_player_visibility) self.add(self.show_player) self.add(Gtk.SeparatorMenuItem.new()) #preferences = Gtk.ImageMenuItem(Gtk.STOCK_PREFERENCES) preferences = Gtk.MenuItem.new_with_label('Preferences') #preferences.set_label('gtk-properties') self.conf_dialog = ConfigDialog(configure_glade_file, GConf_plugin_path, self, plugin) preferences.connect('activate', self.show_preferences_dialog, desktop_control, configure_glade_file) self.add(preferences) self.show_all() def show(self, event): self.show_player.set_active(self.shell.props.visibility) self.popup(None, None, None, None, event.button, event.time) def toggle_player_visibility(self, menu_item): self.shell.props.visibility = menu_item.get_active() def show_preferences_dialog(self, menu_item, desktop_control, configure_glade_file): #conf_dialog = ConfigDialog(configure_glade_file, GConf_plugin_path, desktop_control) self.conf_dialog.run()
def show_preferences_dialog(self, menu_item, desktop_control, configure_glade_file): conf_dialog = ConfigDialog(configure_glade_file, gconf_plugin_path, desktop_control) conf_dialog.run()