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)