diff options
author | Aleksey Lim <alsroot@member.fsf.org> | 2009-02-25 04:55:49 (GMT) |
---|---|---|
committer | Walter Bender <walter@walter-laptop.(none)> | 2009-03-02 14:45:10 (GMT) |
commit | 82b033549cdfbb0ce04a6d4d28fb5465438ed5ea (patch) | |
tree | c48225360c48d73af8d772c916d231e77dcac72e /edit.py | |
parent | 44fed78567d8262d68d42c3d86abd7ab528704d2 (diff) |
Wind tabs
Diffstat (limited to 'edit.py')
-rw-r--r-- | edit.py | 54 |
1 files changed, 49 insertions, 5 deletions
@@ -23,15 +23,59 @@ from GUI_Components.Edit_Pane import Edit_Pane from GUI_Components.Format_Pane import Format_Pane from GUI_Components.Image_Pane import Image_Pane -class View(gtk.EventBox): +TABS = (Edit_Pane(), + Image_Pane(), + Format_Pane()) + +class View(gtk.Notebook): def __init__(self): - gtk.EventBox.__init__(self) + gtk.Notebook.__init__(self) + self.props.show_border = False + self.props.show_tabs = False - self.pane = Edit_Pane() - self.pane.panel.show() - self.add(self.pane.panel) + for i in TABS: + self.append_page(i) + i.show() class Toolbar(gtk.Toolbar): def __init__(self, edit): gtk.Toolbar.__init__(self) self.edit = edit + + txt_toggle = ToggleToolButton('ascii') + img_toggle = ToggleToolButton('image') + + txt_toggle.show() + txt_toggle.set_tooltip(_('Text')) + txt_toggle.connect('toggled', self._toggle_cb, [txt_toggle, img_toggle]) + self.insert(txt_toggle, -1) + + img_toggle.show() + img_toggle.set_tooltip(_('Images')) + img_toggle.connect('toggled', self._toggle_cb, [txt_toggle, img_toggle]) + self.insert(img_toggle, -1) + + separator = gtk.SeparatorToolItem() + self.insert(separator, -1) + separator.show() + + for tab in TABS: + for i in tab.toolitems: + self.insert(i, -1) + + def _toggle_cb(self, widget, toggles): + for tab in TABS: + for i in tab.toolitems: + i.hide() + + if not widget.get_active(): + index = 2 + else: + another = toggles[0] == widget and 1 or 0 + toggles[another].set_active(False) + toggles[another].stop_emission('toggled') + index = int(not another) + + for i in TABS[index].toolitems: + i.show() + self.edit.set_current_page(index) |