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