def update_switchers(self):
active_id = self.settings.get_value('preferences', 'syntax_scheme')
active_id_dark_mode = self.settings.get_value(
'preferences', 'syntax_scheme_dark_mode')
set_active_id = False
set_active_id_dark_mode = False
self.view.style_switcher.remove_all()
for name in ['default']:
self.view.style_switcher.append(name, name)
self.view.style_switcher_dark_mode.remove_all()
for name in ['default-dark']:
self.view.style_switcher_dark_mode.append(name, name)
directory_pathname = os.path.join(ServiceLocator.get_config_folder(),
'syntax_schemes')
if os.path.isdir(directory_pathname):
for filename in os.listdir(directory_pathname):
name = self.get_scheme_id_from_file(
os.path.join(directory_pathname, filename))
if name == active_id: set_active_id = True
if name == active_id_dark_mode: set_active_id_dark_mode = True
self.view.style_switcher.append(name, name)
self.view.style_switcher_dark_mode.append(name, name)
if set_active_id:
self.view.style_switcher.set_active_id(active_id)
else:
self.view.style_switcher.set_active_id('default')
if set_active_id_dark_mode:
self.view.style_switcher_dark_mode.set_active_id(
active_id_dark_mode)
else:
self.view.style_switcher_dark_mode.set_active_id('default-dark')
self.update_remove_button()
def __init__(self):
self.config_folder = ServiceLocator.get_config_folder()
self.forward_synctex_regex = ServiceLocator.get_regex_object(
r'\nOutput:.*\nPage:([0-9]+)\nx:.*\ny:.*\nh:((?:[0-9]|\.)+)\nv:((?:[0-9]|\.)+)\nW:((?:[0-9]|\.)+)\nH:((?:[0-9]|\.)+)\nbefore:.*\noffset:.*\nmiddle:.*\nafter:.*'
)
self.process = None
def get_scheme_filename_from_id(self, scheme_id):
directory_pathname = os.path.join(ServiceLocator.get_config_folder(), 'syntax_schemes')
for filename in os.listdir(directory_pathname):
tree = ET.parse(os.path.join(directory_pathname, filename))
root = tree.getroot()
if root.attrib['id'] == scheme_id:
return os.path.join(directory_pathname, filename)
def __init__(self):
self.config_folder = ServiceLocator.get_config_folder()
self.backward_synctex_regex = ServiceLocator.get_regex_object(
r'\nOutput:.*\nInput:(.*\.tex)\nLine:([0-9]+)\nColumn:(?:[0-9]|-)+\nOffset:(?:[0-9]|-)+\nContext:.*\n'
)
self.process = None
def __init__(self):
self.config_folder = ServiceLocator.get_config_folder()
self.doc_regex = ServiceLocator.get_build_log_doc_regex()
self.item_regex = ServiceLocator.get_build_log_item_regex()
self.badbox_line_number_regex = ServiceLocator.get_build_log_badbox_line_number_regex(
)
self.other_line_number_regex = ServiceLocator.get_build_log_other_line_number_regex(
)
self.bibtex_log_item_regex = ServiceLocator.get_bibtex_log_item_regex()
self.process = None
def on_add_scheme_button_clicked(self, button):
dialog = AddSchemeDialog(self.main_window)
pathname = dialog.run()
if pathname != None:
destination = os.path.join(ServiceLocator.get_config_folder(), 'syntax_schemes', os.path.basename(pathname))
shutil.copyfile(pathname, destination)
ServiceLocator.get_source_style_scheme_manager().force_rescan()
self.update_switchers()
scheme_id = self.get_scheme_id_from_file(destination)
if ServiceLocator.get_is_dark_mode():
self.view.style_switcher_dark_mode.set_active_id(scheme_id)
else:
self.view.style_switcher.set_active_id(scheme_id)
def __init__(self):
self.config_folder = ServiceLocator.get_config_folder()
self.process = None
self.build_result = None
self.build_result_lock = thread.allocate_lock()
self.forward_sync_result = None
self.forward_sync_result_lock = thread.allocate_lock()
self.backward_sync_result = None
self.backward_sync_result_lock = thread.allocate_lock()
self.done_executing = False
self.done_executing_lock = thread.allocate_lock()
self.synctex_file = None
self.synctex_file_lock = thread.allocate_lock()
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):
builder_build.BuilderBuild.__init__(self)
self.config_folder = ServiceLocator.get_config_folder()
self.doc_regex = ServiceLocator.get_regex_object(r'( *\((.*\.tex))')
self.item_regex = ServiceLocator.get_regex_object(
r'((?<!.) *' + r'(?:Overfull \\hbox|Underfull \\hbox|' +
r'No file .*\.|File .* does not exist\.|! I can' + "'" +
r't find file\.|! File .* not found\.|' +
r'(?:LaTeX|pdfTeX|LuaTeX|Package|Class) .*Warning.*:|LaTeX Font Warning:|'
+
r'! Undefined control sequence\.|! Missing (?:.*) inserted.|! Package .* Error:|! (?:LaTeX|LuaTeX) Error:).*\n)'
)
self.badbox_line_number_regex = ServiceLocator.get_regex_object(
r'lines ([0-9]+)--([0-9]+)')
self.other_line_number_regex = ServiceLocator.get_regex_object(
r'(l.| input line \n| input line )([0-9]+)( |.)')
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)
def __init__(self, document):
self.document = document
self.data_pathname = ServiceLocator.get_config_folder()
def __init__(self):
builder_build.BuilderBuild.__init__(self)
self.config_folder = ServiceLocator.get_config_folder()
self.latex_log_parser = latex_log_parser.LaTeXLogParser()
def __init__(self):
self.config_folder = ServiceLocator.get_config_folder()
self.forward_synctex_regex = ServiceLocator.get_forward_synctex_regex()
self.process = None
