# @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 lvc.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 is not None and column is not None: if self.children[column, row]: self.children[column, row].enable() elif row is not None: for mem in self.children.row(row): if mem: mem.enable() elif column is not 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 is not None and column is not None: if self.children[column, row]: self.children[column, row].disable() elif row is not None: for mem in self.children.row(row): if mem: mem.disable() elif column is not 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