def __init__(self): Observable.__init__(self) self.settings = ServiceLocator.get_settings() self.displayname = '' self.filename = None self.save_date = None self.deleted_on_disk_dialog_shown_after_last_save = False self.last_activated = 0 self.dark_mode = False self.is_root = False self.root_is_set = False self.source_buffer = source_buffer.SourceBuffer(self) self.view = document_view.DocumentView(self, self.source_buffer.view) self.gutter = gutter.Gutter(self, self.view) self.search = search.Search(self, self.view, self.view.search_bar) self.spellchecker = spellchecker.Spellchecker(self.view.source_view) self.document_switcher_item = document_switcher_item.DocumentSwitcherItem( self) self.context_menu = context_menu.ContextMenu(self, self.view) self.shortcutsbar = shortcutsbar_presenter.ShortcutsbarPresenter( self, self.view) self.presenter = document_presenter.DocumentPresenter(self, self.view) self.controller = document_controller.DocumentController( self, self.view) self.line_numbers = line_numbers.LineNumbers(self, self.view)
def __init__(self): Observable.__init__(self) self.settings = ServiceLocator.get_settings() self.displayname = '' self.filename = None self.save_date = None self.last_activated = 0 self.parser = None self.source_buffer = source_buffer.SourceBuffer(self) self.source_buffer.connect('changed', self.on_buffer_changed)