def __init__(self):
Observable.__init__(self)
self.pathname = ServiceLocator.get_config_folder()
self.open_documents = list()
self.open_latex_documents = list()
self.root_document = None
self.recently_opened_documents = dict()
self.untitled_documents_no = 0
self.active_document = None
self.can_sync = False
self.sync_document = None
self.update_sync_document()
self.recently_opened_session_files = dict()
self.session_file_opened = None
self.settings = ServiceLocator.get_settings()
self.inline_spellchecking = self.settings.get_value(
'preferences', 'inline_spellchecking')
self.spellchecking_language_code = self.settings.get_value(
'preferences', 'spellchecking_language_code')
self.dark_mode = self.settings.get_value('preferences',
'prefer_dark_mode')
self.invert_pdf = self.settings.get_value('preferences', 'invert_pdf')
self.sidebar = sidebar.Sidebar(self)
self.welcome_screen = welcome_screen.WelcomeScreen()
self.show_symbols = self.settings.get_value('window_state',
'show_symbols')
self.show_document_structure = self.settings.get_value(
'window_state', 'show_document_structure')
self.sidebar_position = self.settings.get_value(
'window_state', 'sidebar_paned_position')
self.show_help = self.settings.get_value('window_state', 'show_help')
self.show_preview = self.settings.get_value('window_state',
'show_preview')
self.preview_position = self.settings.get_value(
'window_state', 'preview_paned_position')
self.build_log = build_log.BuildLog(self)
self.show_build_log = self.settings.get_value('window_state',
'show_build_log')
self.build_log_position = self.settings.get_value(
'window_state', 'build_log_paned_position')
self.shortcutsbar = shortcutsbar.Shortcutsbar(self)
self.shortcuts = shortcuts.Shortcuts(self)
def __init__(self):
Observable.__init__(self)
self.pathname = ServiceLocator.get_config_folder()
self.open_documents = list()
self.open_latex_documents = list()
self.master_document = None
self.recently_opened_documents = dict()
self.untitled_documents_no = 0
self.active_document = None
self.recently_opened_session_files = dict()
self.session_file_opened = None
self.settings = ServiceLocator.get_settings()
self.inline_spellchecking = self.settings.get_value(
'preferences', 'inline_spellchecking')
self.spellchecking_language_code = self.settings.get_value(
'preferences', 'spellchecking_language_code')
self.dark_mode = self.settings.get_value('preferences',
'prefer_dark_mode')
self.sidebar = sidebar.Sidebar()
self.show_sidebar = self.settings.get_value('window_state',
'show_sidebar')
self.sidebar_position = self.settings.get_value(
'window_state', 'sidebar_paned_position')
self.show_help = self.settings.get_value('window_state', 'show_help')
self.show_preview = self.settings.get_value('window_state',
'show_preview')
self.preview_position = self.settings.get_value(
'window_state', 'preview_paned_position')
self.build_log = build_log.BuildLog(self)
self.show_build_log = self.settings.get_value('window_state',
'show_build_log')
self.build_log_position = self.settings.get_value(
'window_state', 'build_log_paned_position')
self.shortcuts = shortcuts.Shortcuts(self)