diff options
Diffstat (limited to 'mvc/widgets/gtk/layout.py')
| -rw-r--r-- | mvc/widgets/gtk/layout.py | 227 |
1 files changed, 0 insertions, 227 deletions
diff --git a/mvc/widgets/gtk/layout.py b/mvc/widgets/gtk/layout.py deleted file mode 100644 index d887fcb..0000000 --- a/mvc/widgets/gtk/layout.py +++ /dev/null @@ -1,227 +0,0 @@ -# @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 |