def __init__(self, notebook): Observable.__init__(self) self.kernel = None self.notebook = notebook self.continue_fetching = True self.result_factory = ServiceLocator.get_result_factory() self.fetch_func_id = GObject.timeout_add(50, self.fetch_results)
def __init__(self, pathname): Observable.__init__(self) self.pathname = pathname self.kernelname = None self.cells = [] self.active_cell = None self.busy_cells = set() self.modified_cells = set() self.kernel_state = None self.result_factory = ServiceLocator.get_result_factory() self.save_state = 'saved' try: self.last_saved = datetime.datetime.fromtimestamp(os.path.getmtime(pathname)) except FileNotFoundError: self.last_saved = datetime.datetime.fromtimestamp(0) # set source language for syntax highlighting self.source_language_manager = GtkSource.LanguageManager() self.source_language_manager.set_search_path((os.path.dirname(__file__) + '/../resources/gtksourceview/language-specs',)) self.source_language_code = self.source_language_manager.get_language('sage') self.source_language_markdown = self.source_language_manager.get_language('markdown') self.source_style_scheme_manager = GtkSource.StyleSchemeManager() self.source_style_scheme_manager.set_search_path((os.path.dirname(__file__) + '/../resources/gtksourceview/styles',)) self.source_style_scheme = self.source_style_scheme_manager.get_scheme('sage') self.cursor_position = {'cell': None, 'cell_position': None, 'cell_size': None, 'position': None} self.list_item = list_item_model.NotebookListItem(self) self.view = notebook_viewgtk.NotebookView() self.presenter = notebook_presenter.NotebookPresenter(self, self.view) self.controller = notebook_controller.NotebookController(self, self.view) self.evaluator = notebook_evaluator.NotebookEvaluator(self) self.headerbar_controls = headerbar_controls.HeaderbarControls(self)
def __init__(self, notebook): self.notebook = notebook self.notebook.register_observer(self) self.result_factory = ServiceLocator.get_result_factory() self.backend_code = backend_code.BackendCode(notebook) self.backend_code.register_observer(self) self.markdown_compute_queue = backend_markdown.ComputeQueue() self.markdown_compute_queue.register_observer(self)