def _close_window(self, confirm_discard, wait_for_execution): if confirm_discard and not self._confirm_discard(): return if wait_for_execution: if not self._wait_for_execution(): return else: for editor in self.editors: if editor.state == NotebookFile.EXECUTING: return # Prevent visual artifacts by hiding first self.window.hide() # Prevent reentrancy problems from having destroyed editors in self.editors editors = self.editors self.editors = [] for editor in editors: editor.widget._notebook_window_editor = None editor.destroy() self.current_editor = None BaseWindow._close_window(self, confirm_discard, wait_for_execution)
def __init__(self): BaseWindow.__init__(self, Notebook()) self.path = None self.window.set_default_size(700, 800) self.main_vbox.show_all()
def __init__(self, builder, filename): BaseWindow.__init__(self) if not WEBKIT: return try: fname = os.path.join(HELP_PATH, filename) f = open(fname) data = f.read() except IOError as msg: data = "Help file '{0}' could not be found\n{1}".format(fname, str(msg)) if HelpWindow.window is None: HelpWindow.window = builder.get_object("help_win") self.configure(HelpWindow.window) HelpWindow.wkit = webkit.WebView() HelpWindow.container = builder.get_object("help_scroll") HelpWindow.container.add(HelpWindow.wkit) HelpWindow.button = builder.get_object("help_close") HelpWindow.button.connect("clicked", self.hide) HelpWindow.window.connect("destroy", self.destroy) HelpWindow.window.connect("delete_event", self.delete) HelpWindow.wkit.load_string(html_string(data), "text/html", "utf-8", "") HelpWindow.window.show_all()
def update_sensitivity(self): BaseWindow.update_sensitivity(self) some_need_calculate = False for editor in self.editors: if editor.needs_calculate: some_need_calculate = True self._set_action_sensitive('calculate-all', some_need_calculate)
def _add_actions(self, action_group): BaseWindow._add_actions(self, action_group) action_group.add_actions([ ('notebook-properties', gtk.STOCK_PROPERTIES, "Notebook _Properties", None, None, self.on_notebook_properties), ('new-worksheet', gtk.STOCK_NEW, "_New Worksheet", "<control>n", None, self.on_new_worksheet), ('new-library', gtk.STOCK_NEW, "New _Library", "", None, self.on_new_library), ('calculate-all', gtk.STOCK_REFRESH, "Calculate _All", "<control><shift>Return", None, self.on_calculate_all), ])
def __init__(self, builder, filename): BaseWindow.__init__(self) if not WEBKIT: return try: fname = os.path.join(HELP_PATH, filename) f = open(fname) data = f.read() except IOError, msg: data = "Help file '%s' could not be found\n%s" % (fname, str(msg))
def __init__(self, notebook): BaseWindow.__init__(self, notebook) self.state = application.state.get_notebook_state(notebook.folder) # We'll call window.set_default_size() later with an appropriate # default size for the BaseNotebookWindow subclass. The size set by # window.resize() takes precedence. (width, height) = self.state.get_size() if width != -1 and height != -1: self.window.resize(width, height) self.window.connect('configure-event', self.on_configure_event) self.path = notebook.folder self.editors = [] self.nb_widget = gtk.Notebook() self.nb_widget.connect_after('switch-page', self.on_page_switched) self.nb_widget.connect('page-reordered', self.on_page_reordered) self._fill_content() self.main_vbox.show_all() self.__initial_editor = None open_file_paths = self.state.get_open_files() current_file = self.state.get_current_file() for path in open_file_paths: if not path in self.notebook.files: continue file = self.notebook.files[path] self.open_file(file) current_file_editor = None if current_file is not None: filename = os.path.join(notebook.folder, current_file) for editor in self.editors: if editor.filename == filename: current_file_editor = editor if current_file_editor is None and len(self.editors) > 0: current_file_editor = self.editors[0] if current_file_editor is not None: self._make_editor_current(current_file_editor) current_file_editor.view.grab_focus() self.__update_title()
def __init__(self, project, dbmap): BaseWindow.__init__(self) self.__dbmap = dbmap self.__prj = project self.__modlist = [] self.__base2path = {} for item in self.__prj.get_register_set(): base_path = os.path.splitext(os.path.basename(item)) self.__base2path[base_path[0]] = item self.__build_interface() self.__build_export_maps() self.__populate()
def _close_window(self, confirm_discard, wait_for_execution): if confirm_discard and not self.current_editor.confirm_discard(): return if wait_for_execution: if not self.current_editor.wait_for_execution(): return else: if self.current_editor.state == NotebookFile.EXECUTING: return # Prevent visual artifacts by hiding first self.window.hide() self.current_editor.destroy() BaseWindow._close_window(self, confirm_discard, wait_for_execution)
def __init__(self, notebook): BaseWindow.__init__(self, notebook) self.state = application.state.get_notebook_state(notebook.folder) self.path = notebook.folder self.editors = [] self.nb_widget = gtk.Notebook() self.nb_widget.connect_after('switch-page', self.on_page_switched) self.nb_widget.connect('page-reordered', self.on_page_reordered) self._fill_content() self.main_vbox.show_all() self.__initial_editor = None open_file_paths = self.state.get_open_files() current_file = self.state.get_current_file() for path in open_file_paths: if not path in self.notebook.files: continue file = self.notebook.files[path] self.open_file(file) current_file_editor = None if current_file != None: filename = os.path.join(notebook.folder, current_file) for editor in self.editors: if editor.filename == filename: current_file_editor = editor if current_file_editor == None and len(self.editors) > 0: current_file_editor = self.editors[0] if current_file_editor != None: self._make_editor_current(current_file_editor) current_file_editor.view.grab_focus() self.__update_title()
def _add_actions(self, action_group): BaseWindow._add_actions(self, action_group) action_group.add_actions([ ('notebook-properties', gtk.STOCK_PROPERTIES, "Notebook Prop_erties", None, None, self.on_notebook_properties), ('new-worksheet', gtk.STOCK_NEW, "_New Worksheet", "<control>n", None, self.on_new_worksheet), ('new-library', gtk.STOCK_NEW, "New _Library", "", None, self.on_new_library), ('calculate-all', gtk.STOCK_REFRESH, "Calculate _All", "<control><alt>Return", None, self.on_calculate_all), ('switch-tab-1', None, None, "<alt>1", None, self.on_switch_tab), ('switch-tab-2', None, None, "<alt>2", None, self.on_switch_tab), ('switch-tab-3', None, None, "<alt>3", None, self.on_switch_tab), ('switch-tab-4', None, None, "<alt>4", None, self.on_switch_tab), ('switch-tab-5', None, None, "<alt>5", None, self.on_switch_tab), ('switch-tab-6', None, None, "<alt>6", None, self.on_switch_tab), ('switch-tab-7', None, None, "<alt>7", None, self.on_switch_tab), ('switch-tab-8', None, None, "<alt>8", None, self.on_switch_tab), ('switch-tab-9', None, None, "<alt>9", None, self.on_switch_tab), ('switch-tab-10', None, None, "<alt>0", None, self.on_switch_tab) ])
def __init__(self, builder, reg, regset_name, project): BaseWindow.__init__(self) if not WEBKIT: return if SummaryWindow.window is None: SummaryWindow.window = builder.get_object("summary_window") self.configure(SummaryWindow.window) SummaryWindow.wkit = webkit.WebView() SummaryWindow.container = builder.get_object('summary_scroll') SummaryWindow.container.add(SummaryWindow.wkit) SummaryWindow.button = builder.get_object('close_button') SummaryWindow.button.connect('clicked', self.hide) SummaryWindow.window.connect('destroy', self.destroy) SummaryWindow.window.connect('delete_event', self.delete) reg_info = regenerate.extras.RegisterRst(reg, regset_name, project, show_uvm=True) SummaryWindow.wkit.load_string(reg_info.html_css(), "text/html", "utf-8", "") SummaryWindow.window.show_all()
def _add_actions(self, action_group): BaseWindow._add_actions(self, action_group) action_group.add_actions([("save-as", gtk.STOCK_SAVE_AS, None, None, None, self.on_save_as)])
def _close_window(self): if not self.current_editor.confirm_discard(): return True BaseWindow._close_window(self)
def _close_window(self): if not self._confirm_discard(): return BaseWindow._close_window(self)