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)
