first commit

1 files changed, 227 insertions, 0 deletions

diff --git a/mvc/widgets/gtk/layout.py b/mvc/widgets/gtk/layout.py
new file mode 100644
index 0000000..d887fcb
--- /dev/null
+++ b/mvc/widgets/gtk/layout.py
@@ -0,0 +1,227 @@
+# @Base:  Miro - an RSS based video player application
+# Copyright (C) 2005, 2006, 2007, 2008, 2009, 2010, 2011
+# Participatory Culture Foundation
+#
+# This program is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 2 of the License, or
+# (at your option) any later version.
+#
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this program; if not, write to the Free Software
+# Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301 USA
+#
+# In addition, as a special exception, the copyright holders give
+# permission to link the code of portions of this program with the OpenSSL
+# library.
+#
+# You must obey the GNU General Public License in all respects for all of
+# the code used other than OpenSSL. If you modify file(s) with this
+# exception, you may extend this exception to your version of the file(s),
+# but you are not obligated to do so. If you do not wish to do so, delete
+# this exception statement from your version. If you delete this exception
+# statement from all source files in the program, then also delete it here.
+
+""".layout -- Layout widgets.  """
+
+import gtk
+
+from mvc.utils import Matrix
+from .base import Widget, Bin
+
+class Box(Widget):
+    def __init__(self, spacing=0):
+        Widget.__init__(self)
+        self.children = set()
+        self.set_widget(self.WIDGET_CLASS(spacing=spacing))
+
+    def pack_start(self, widget, expand=False, padding=0):
+        self._widget.pack_start(widget._widget, expand, fill=True,
+                padding=padding)
+        widget._widget.show()
+        self.children.add(widget)
+
+    def pack_end(self, widget, expand=False, padding=0):
+        self._widget.pack_end(widget._widget, expand, fill=True,
+                padding=padding)
+        widget._widget.show()
+        self.children.add(widget)
+
+    def remove(self, widget):
+        widget._widget.hide() # otherwise gtkmozembed gets confused
+        self._widget.remove(widget._widget)
+        self.children.remove(widget)
+
+    def enable(self):
+        for mem in self.children:
+            mem.enable()
+
+    def disable(self):
+        for mem in self.children:
+            mem.disable()
+
+class HBox(Box):
+    WIDGET_CLASS = gtk.HBox
+
+class VBox(Box):
+    WIDGET_CLASS = gtk.VBox
+
+class Alignment(Bin):
+    def __init__(self, xalign=0, yalign=0, xscale=0, yscale=0,
+            top_pad=0, bottom_pad=0, left_pad=0, right_pad=0):
+        Bin.__init__(self)
+        self.set_widget(gtk.Alignment(xalign, yalign, xscale, yscale))
+        self.set_padding(top_pad, bottom_pad, left_pad, right_pad)
+
+    def set(self, xalign=0, yalign=0, xscale=0, yscale=0):
+        self._widget.set(xalign, yalign, xscale, yscale)
+
+    def set_padding(self, top_pad=0, bottom_pad=0, left_pad=0, right_pad=0):
+        self._widget.set_padding(top_pad, bottom_pad, left_pad, right_pad)
+
+class DetachedWindowHolder(Alignment):
+    def __init__(self):
+        Alignment.__init__(self, xscale=1, yscale=1)
+
+class Splitter(Widget):
+    def __init__(self):
+        """Create a new splitter."""
+        Widget.__init__(self)
+        self.set_widget(gtk.HPaned())
+
+    def set_left(self, widget):
+        """Set the left child widget."""
+        self.left = widget
+        self._widget.pack1(widget._widget, resize=False, shrink=False)
+        widget._widget.show()
+
+    def set_right(self, widget):
+        """Set the right child widget.  """
+        self.right = widget
+        self._widget.pack2(widget._widget, resize=True, shrink=False)
+        widget._widget.show()
+
+    def remove_left(self):
+        """Remove the left child widget."""
+        if self.left is not None:
+            self.left._widget.hide() # otherwise gtkmozembed gets confused
+            self._widget.remove(self.left._widget)
+            self.left = None
+
+    def remove_right(self):
+        """Remove the right child widget."""
+        if self.right is not None:
+            self.right._widget.hide() # otherwise gtkmozembed gets confused
+            self._widget.remove(self.right._widget)
+            self.right = None
+
+    def set_left_width(self, width):
+        self._widget.set_position(width)
+
+    def get_left_width(self):
+        return self._widget.get_position()
+
+    def set_right_width(self, width):
+        self._widget.set_position(self.width - width)
+        # We should take into account the width of the bar, but this seems
+        # good enough.
+
+class Table(Widget):
+    """Lays out widgets in a table.  It works very similar to the GTK Table
+    widget, or an HTML table.
+    """
+    def __init__(self, columns, rows):
+        Widget.__init__(self)
+        self.set_widget(gtk.Table(rows, columns, homogeneous=False))
+        self.children = Matrix(columns, rows)
+
+    def pack(self, widget, column, row, column_span=1, row_span=1):
+        """Add a widget to the table.
+        """
+        self.children[column, row] = widget
+        self._widget.attach(widget._widget, column, column + column_span,
+                row, row + row_span)
+        widget._widget.show()
+
+    def remove(self, widget):
+        widget._widget.hide() # otherwise gtkmozembed gets confused
+        self.children.remove(widget)
+        self._widget.remove(widget._widget)
+
+    def set_column_spacing(self, spacing):
+        self._widget.set_col_spacings(spacing)
+
+    def set_row_spacing(self, spacing):
+        self._widget.set_row_spacings(spacing)
+
+    def enable(self, row=None, column=None):
+        if row != None and column != None:
+            if self.children[column, row]:
+                self.children[column, row].enable()
+        elif row != None:
+            for mem in self.children.row(row):
+                if mem: mem.enable()
+        elif column != None:
+            for mem in self.children.column(column):
+                if mem: mem.enable()
+        else:
+            for mem in self.children:
+                if mem: mem.enable()
+
+    def disable(self, row=None, column=None):
+        if row != None and column != None:
+            if self.children[column, row]:
+                self.children[column, row].disable()
+        elif row != None:
+            for mem in self.children.row(row):
+                if mem: mem.disable()
+        elif column != None:
+            for mem in self.children.column(column):
+                if mem: mem.disable()
+        else:
+            for mem in self.children:
+                if mem: mem.disable()
+
+class TabContainer(Widget):
+    def __init__(self, xalign=0, yalign=0, xscale=0, yscale=0,
+            top_pad=0, bottom_pad=0, left_pad=0, right_pad=0):
+        Widget.__init__(self)
+        self.set_widget(gtk.Notebook())
+        self._widget.set_tab_pos(gtk.POS_TOP)
+        self.children = []
+        self._page_to_select = None
+        self.wrapped_widget_connect('realize', self._on_realize)
+
+    def _on_realize(self, widget):
+        if self._page_to_select is not None:
+            self._widget.set_current_page(self._page_to_select)
+            self._page_to_select = None
+
+    def append_tab(self, child_widget, text, image=None):
+        if image is not None:
+            label_widget = gtk.VBox(spacing=2)
+            image_widget = gtk.Image()
+            image_widget.set_from_pixbuf(image.pixbuf)
+            label_widget.pack_start(image_widget)
+            label_widget.pack_start(gtk.Label(text))
+            label_widget.show_all()
+        else:
+            label_widget = gtk.Label(text)
+
+        # switch from a center align to a top align
+        child_widget.set(0, 0, 1, 0)
+        child_widget.set_padding(10, 10, 10, 10)
+
+        self._widget.append_page(child_widget._widget, label_widget)
+        self.children.append(child_widget)
+
+    def select_tab(self, index):
+        if self._widget.flags() & gtk.REALIZED:
+            self._widget.set_current_page(index)
+        else:
+            self._page_to_select = index