# app - zavai main window # # Copyright (C) 2009 Enrico Zini # # 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., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA import sys from gettext import gettext as _ import gtk import zavai class Zavai(gtk.Window, zavai.Resource): def __init__(self, registry, name): super(Zavai, self).__init__() self.registry = registry self.current = None self.show_widget("menu.main") def show_widget(self, name): # Remove the current widget. # If it is an Applet, stop it if self.current is not None: cur = self.registry.resource(self.current) if isinstance(cur, zavai.Applet): cur.stop() self.remove(self.get_child()) self.current = None # Add the new widget. If it is an applet, start it widget = self.registry.resource(name) if widget is None: widget = self.registry.resource("menu.main") self.add(widget) self.current = name if isinstance(widget, zavai.Applet): widget.start() widget.show_all() def run(self): self.fullscreen() self.show_all() gtk.main() class Applet(zavai.Resource): def __init__(self, registry, name): super(Applet, self).__init__() self.zavai_registry = registry self.zavai_name = name def make_parent_link(self): return zavai.LinkButton(self.zavai_registry, zavai.get_parent(self.zavai_name), _("Back")) def shutdown(self): self.stop() def start(self, *args): pass def stop(self, *args): pass