Web   ·   Wiki   ·   Activities   ·   Blog   ·   Lists   ·   Chat   ·   Meeting   ·   Bugs   ·   Git   ·   Translate   ·   Archive   ·   People   ·   Donate
summaryrefslogtreecommitdiffstats
path: root/edit.py
diff options
context:
space:
mode:
authorAleksey 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)
commit82b033549cdfbb0ce04a6d4d28fb5465438ed5ea (patch)
treec48225360c48d73af8d772c916d231e77dcac72e /edit.py
parent44fed78567d8262d68d42c3d86abd7ab528704d2 (diff)
Wind tabs
Diffstat (limited to 'edit.py')
-rw-r--r--edit.py54
1 files changed, 49 insertions, 5 deletions
diff --git a/edit.py b/edit.py
index 8f6071d..f3daa7d 100644
--- a/edit.py
+++ b/edit.py
@@ -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)