def __init__(self, document, document_view):

        self.document = document
        self.view = document_view

        self.forward_sync_manager = ServiceLocator.get_forward_sync_manager()

        self.view.source_view.connect('key-press-event', self.on_keypress)
        self.view.source_view.connect('button-press-event',
                                      self.on_buttonpress)
        self.continue_save_date_loop = True
        GObject.timeout_add(500, self.save_date_loop)
Beispiel #2
0
    def __init__(self, document, document_view):
        self.document = document
        self.document_view = document_view

        self.scbar_view = context_menu_view.ContextMenuView(document)
        stack = document_view.shortcuts_bar_bottom.more_actions_popover.get_child(
        )
        stack.add_named(self.scbar_view, 'main')
        self.controller = context_menu_controller.ContextMenuController(
            self, self.scbar_view)
        self.presenter = context_menu_presenter.ContextMenuPresenter(
            self, self.scbar_view)

        self.can_sync = False
        self.forward_sync_manager = ServiceLocator.get_forward_sync_manager()
        self.forward_sync_manager.register_observer(self)

        self.font_manager = ServiceLocator.get_font_manager()
        self.font_manager.register_observer(self)

        document.register_observer(self)