class environment: """ A class representing the environment """ def __init__(self, case=None): self._flag = FlagFramework.Flag() self._FS = None self.CWD = '/' self._CASE = case self.interactive = True
def __init__(self): """ GTKServer Main Function Initialise framework and draw main window """ self.form_dialog = None gtk.Window.__init__(self) # initialize flag self.flag = FlagFramework.Flag() FlagFramework.GLOBAL_FLAG_OBJ = self.flag self.flag.ui = GTKUI.GTKUI # set some window properties self.set_title('PyFLAG') self.set_icon_from_file('%s/pyflag_logo.png' % config.IMAGEDIR) self.set_default_size(800, 600) self.connect('destroy', lambda x: gtk.main_quit()) # these are the MAIN ELEMENTS of the GTKServer self.vbox = gtk.VBox() self.uimanager = gtk.UIManager() self.toolhandlebox = gtk.HandleBox() self.toolhbox = gtk.HBox() self.toolhandlebox.add(self.toolhbox) self.ftoolbar = FlagServerToolbar(self.toolhbox) self.notebook = FlagServerNotebook( self.flag.ui(server=self, ftoolbar=self.ftoolbar)) ## have to build the ui at this point... self.build_flag_menu() self.menubar = self.uimanager.get_widget('/Menubar') self.statusbar = gtk.Statusbar() # pack these to arrange the UI self.add_accel_group(self.uimanager.get_accel_group()) self.add(self.vbox) self.vbox.pack_start(self.menubar, False) # put the toolbar in a HBox with a case selector hbox = gtk.HBox() self.case_selector_combo = self.case_selector() hbox.pack_start(self.case_selector_combo, False) hbox.pack_start(self.toolhandlebox) self.toolhbox.show_all() self.vbox.pack_start(hbox, False) self.vbox.pack_start(self.notebook, True, True) self.vbox.pack_end(self.statusbar, False) self.show_all()
Registry.Init() config.add_option( "info", default=False, action='store_true', help="Print information about this pyflag installation and exit") ## Parse all the command line options: config.parse_options() if config.info: print FlagFramework.print_info() sys.exit(0) flag = FlagFramework.Flag() FlagFramework.GLOBAL_FLAG_OBJ = flag #Set the UI module to produce HTML if config.THEME == "AJAX": import pyflag.AJAXUI as AJAXUI UI.UI = AJAXUI.AJAXUI elif config.THEME == "XML": import pyflag.XMLUI as XMLUI UI.UI = XMLUI.XMLUI else: import pyflag.HTMLUI as HTMLUI UI.UI = HTMLUI.HTMLUI ## Start the workers import pyflag.Farm as Farm Farm.start_workers()