class TopWidgets(FControl, LoadSave, Gtk.Box):
def __init__(self, controls):
FControl.__init__(self, controls)
Gtk.Box.__init__(self, orientation=Gtk.Orientation.HORIZONTAL, spacing=0)
self.old_menu = MenuBarWidget(controls)
self.pack_start(self.old_menu.widget, False, False, 0)
menu_icon = "open-menu"
if not icon_exists("open-menu"):
menu_icon = "open-menu-symbolic"
if not icon_exists("open-menu-symbolic"):
menu_icon = "application-menu"
self.new_menu_button = ImageButton(menu_icon, tooltip_text=_("Menu"))
self.new_menu_button.connect("button-press-event", self.on_button_press)
self.pack_start(self.new_menu_button, False, False, 0)
self.pack_start(controls.playback, False, False, 0)
self.pack_start(controls.os, False, False, 0)
self.pack_start(controls.volume, False, False, 0)
self.pack_start(Gtk.SeparatorToolItem.new(), False, False, 0)
self.pack_start(controls.record, False, False, 0)
self.pack_start(controls.seek_bar, True, True, 0)
"""menu init"""
menu = Popup()
decorator = MenuStyleDecorator()
MenuBarWidget(self.controls, menu)
menu.add_separator()
pref_icon = "gtk-preferences" if icon_exists("gtk-preferences") else "preferences-system"
menu.add_item(_("Preferences"), pref_icon, self.controls.show_preferences)
menu.add_separator()
menu.add_item(_("Quit"), "application-exit", self.controls.quit)
decorator.apply(menu)
self.menu = menu
def update_menu_style(self):
if FC().menu_style == "new":
self.old_menu.widget.hide()
self.new_menu_button.show()
else:
self.old_menu.widget.show()
self.new_menu_button.hide()
def on_save(self):
self.controls.volume.on_save()
self.old_menu.on_save()
def on_load(self):
self.controls.volume.on_load()
self.old_menu.on_load()
self.controls.os.on_load()
self.update_menu_style()
def on_button_press(self, w, e):
self.menu.show(e)
class TopWidgets(FControl, LoadSave, Gtk.Box):
def __init__(self, controls):
FControl.__init__(self, controls)
Gtk.Box.__init__(self,
orientation=Gtk.Orientation.HORIZONTAL,
spacing=0)
self.old_menu = MenuBarWidget(controls)
self.pack_start(self.old_menu.widget, False, False, 0)
self.new_menu_button = ImageButton("preferences-system",
tooltip_text=_("Settings"))
self.new_menu_button.connect("button-press-event",
self.on_button_press)
self.pack_start(self.new_menu_button, False, False, 0)
self.pack_start(controls.playback, False, False, 0)
self.pack_start(controls.os, False, False, 0)
self.pack_start(controls.volume, False, False, 0)
self.pack_start(Gtk.SeparatorToolItem.new(), False, False, 0)
self.pack_start(controls.record, False, False, 0)
self.pack_start(controls.seek_bar, True, True, 0)
"""menu init"""
menu = Popup()
decorator = MenuStyleDecorator()
MenuBarWidget(self.controls, menu)
menu.add_separator()
menu.add_item(_("Preferences"), "preferences-system",
self.controls.show_preferences)
menu.add_separator()
menu.add_item(_("Quit"), "application-exit", self.controls.quit)
decorator.apply(menu)
self.menu = menu
def update_menu_style(self):
if FC().menu_style == "new":
self.old_menu.widget.hide()
self.new_menu_button.show()
else:
self.old_menu.widget.show()
self.new_menu_button.hide()
def on_save(self):
self.controls.volume.on_save()
self.old_menu.on_save()
def on_load(self):
self.controls.volume.on_load()
self.old_menu.on_load()
self.controls.os.on_load()
self.update_menu_style()
def on_button_press(self, w, e):
self.menu.show(e)
class TopWidgets(FControl, LoadSave, gtk.HBox):
def __init__(self, controls):
FControl.__init__(self, controls)
gtk.HBox.__init__(self, False, 0)
self.old_menu = MenuBarWidget(controls)
self.pack_start(self.old_menu.widget, False, False)
self.new_menu_button = ImageButton(gtk.STOCK_PREFERENCES)
self.new_menu_button.connect("button-press-event", self.on_button_press)
self.pack_start(self.new_menu_button, False, False)
self.pack_start(controls.playback, False, False)
self.pack_start(controls.os, False, False)
self.pack_start(controls.volume, False, False)
self.pack_start(gtk.SeparatorToolItem(), False, False)
self.pack_start(controls.seek_bar, True, True)
self.show_all()
"""menu init"""
menu = Popup()
decorator = MenuStyleDecorator()
MenuBarWidget(self.controls, menu)
menu.add_separator()
menu.add_item(_("Preferences"), gtk.STOCK_PREFERENCES, self.controls.show_preferences)
menu.add_separator()
menu.add_item(_("Quit"), gtk.STOCK_QUIT, self.controls.quit)
decorator.apply(menu)
self.menu = menu
def update_menu_style(self):
if FC().menu_style == "new":
self.old_menu.widget.hide()
self.new_menu_button.show()
else:
self.old_menu.widget.show()
self.new_menu_button.hide()
def on_save(self):
self.controls.volume.on_save()
self.old_menu.on_save()
def on_load(self):
self.controls.volume.on_load()
self.old_menu.on_load()
self.controls.os.on_load()
self.update_menu_style()
def on_button_press(self, w, e):
self.menu.show(e)
class TopWidgets(FControl, LoadSave, Gtk.HBox):
def __init__(self, controls):
FControl.__init__(self, controls)
Gtk.HBox.__init__(self, False, 0)
self.old_menu = MenuBarWidget(controls)
self.pack_start(self.old_menu.widget, False, False, 0)
self.new_menu_button = ImageButton(Gtk.STOCK_PREFERENCES)
self.new_menu_button.connect("button-press-event",
self.on_button_press)
self.pack_start(self.new_menu_button, False, False, 0)
self.pack_start(controls.playback, False, False, 0)
self.pack_start(controls.os, False, False, 0)
self.pack_start(controls.volume, False, False, 0)
self.pack_start(Gtk.SeparatorToolItem.new(), False, False, 0)
self.pack_start(controls.record, False, False, 0)
self.pack_start(controls.seek_bar, True, True, 0)
"""menu init"""
menu = Popup()
decorator = MenuStyleDecorator()
MenuBarWidget(self.controls, menu)
menu.add_separator()
menu.add_item(_("Preferences"), Gtk.STOCK_PREFERENCES,
self.controls.show_preferences)
menu.add_separator()
menu.add_item(_("Quit"), Gtk.STOCK_QUIT, self.controls.quit)
decorator.apply(menu)
self.menu = menu
def update_menu_style(self):
if FC().menu_style == "new":
self.old_menu.widget.hide()
self.new_menu_button.show()
else:
self.old_menu.widget.show()
self.new_menu_button.hide()
def on_save(self):
self.controls.volume.on_save()
self.old_menu.on_save()
def on_load(self):
self.controls.volume.on_load()
self.old_menu.on_load()
self.controls.os.on_load()
self.update_menu_style()
def on_button_press(self, w, e):
self.menu.show(e)
class TopWidgets(FControl, LoadSave, Gtk.HBox):
def __init__(self, controls):
FControl.__init__(self, controls)
Gtk.HBox.__init__(self, False, 0)
self.old_menu = MenuBarWidget(controls)
self.pack_start(self.old_menu.widget, False, False, 0)
self.new_menu_button = ImageButton("preferences-system", tooltip_text=_("Settings"))
self.new_menu_button.connect("button-press-event", self.on_button_press)
self.pack_start(self.new_menu_button, False, False, 0)
self.pack_start(controls.playback, False, False, 0)
self.pack_start(controls.os, False, False, 0)
self.pack_start(controls.volume, False, False, 0)
self.pack_start(Gtk.SeparatorToolItem.new(), False, False, 0)
self.pack_start(controls.record, False, False, 0)
self.pack_start(controls.seek_bar, True, True, 0)
"""menu init"""
menu = Popup()
decorator = MenuStyleDecorator()
MenuBarWidget(self.controls, menu)
menu.add_separator()
menu.add_item(_("Preferences"), "preferences-system", self.controls.show_preferences)
menu.add_separator()
menu.add_item(_("Quit"), "application-exit", self.controls.quit)
decorator.apply(menu)
self.menu = menu
def update_menu_style(self):
if FC().menu_style == "new":
self.old_menu.widget.hide()
self.new_menu_button.show()
else:
self.old_menu.widget.show()
self.new_menu_button.hide()
def on_save(self):
self.controls.volume.on_save()
self.old_menu.on_save()
def on_load(self):
self.controls.volume.on_load()
self.old_menu.on_load()
self.controls.os.on_load()
self.update_menu_style()
def on_button_press(self, w, e):
self.menu.show(e)
def __init__(self, controls):
Gtk.ToggleButton.__init__(self)
self.controls = controls
rec_image = ImageButton("media-record", size=Gtk.IconSize.BUTTON)
rec_image.show()
self.add(rec_image)
self.set_relief(Gtk.ReliefStyle.NONE)
self.set_focus_on_click(False)
self.connect("toggled", self.on_toggle)
self.set_tooltip_text(_("Record radio"))
self.set_no_show_all(True)
self.hide()
def __init__(self, controls):
Gtk.ToggleButton.__init__(self)
self.controls = controls
rec_image = ImageButton("media-record", size=Gtk.IconSize.BUTTON)
rec_image.show()
self.add(rec_image)
self.set_relief(Gtk.ReliefStyle.NONE)
self.set_focus_on_click(False)
self.connect("toggled", self.on_toggle)
self.set_tooltip_text(_("Record radio"))
self.set_no_show_all(True)
self.hide()
def __init__(self, controls):
gtk.Notebook.__init__(self)
FControl.__init__(self, controls)
self.controls = controls
self.set_properties("tab-expand", True)
self.set_scrollable(True)
self.save_lock = threading.Lock()
self.connect("page-reordered", self.reorder_callback)
add_button = ImageButton(gtk.STOCK_ADD, func=self.on_add_button_click, size=gtk.ICON_SIZE_BUTTON)
add_button.show()
self.set_action_widget(add_button, gtk.PACK_START)
self.default_angle = 0
self.navig = False if isinstance(self, NoteTabControl) else True
def __init__(self, controls):
Gtk.Notebook.__init__(self)
FControl.__init__(self, controls)
self.controls = controls
self.set_properties("tab-expand", True)
self.set_scrollable(True)
self.save_lock = threading.Lock()
self.connect("page-reordered", self.reorder_callback)
add_button = ImageButton(Gtk.STOCK_ADD, func=self.on_add_button_click, size=Gtk.IconSize.BUTTON)
add_button.show()
add_button.get_image().set_size_request(24, 22)
self.set_action_widget(add_button, Gtk.PackType.START)
self.default_angle = 0
self.navig = False if isinstance(self, NoteTabControl) else True
def __init__(self, controls):
Gtk.Notebook.__init__(self)
FControl.__init__(self, controls)
self.controls = controls
self.set_properties("tab-expand", True)
self.set_scrollable(True)
self.save_lock = threading.Lock()
self.connect("page-reordered", self.reorder_callback)
add_button = ImageButton(Gtk.STOCK_ADD,
func=self.on_add_button_click,
size=Gtk.IconSize.BUTTON)
add_button.show()
add_button.get_image().set_size_request(24, 22)
self.set_action_widget(add_button, Gtk.PackType.START)
self.default_angle = 0
self.navig = False if isinstance(self, NoteTabControl) else True
