def __init__(self, document): Observable.__init__(self) self.is_enabled = False self.blocks = list() self.marks_start = dict() self.folding_regions = dict() self.folding_regions_by_region_id = dict() self.maximum_region_id = 0 self.initial_folded_regions_set = False self.initial_folding_done = False self.initial_folding_regions_checked_count = 0 self.document = document self.gutter_object = code_folding_gutter_object.CodeFoldingGutterObject( self) document.gutter.add_widget(self.gutter_object) self.presenter = code_folding_presenter.CodeFoldingPresenter(self) self.controller = code_folding_controller.CodeFoldingController(self) self.document.content.connect('text_inserted', self.on_text_inserted) self.document.content.connect('text_deleted', self.on_text_deleted) self.document.content.connect('buffer_changed', self.on_buffer_changed)
def __init__(self, workspace): Observable.__init__(self) self.workspace = workspace self.view = ServiceLocator.get_main_window().help_panel self.path = 'file://' + os.path.join( ServiceLocator.get_resources_path(), 'help') self.home_uri = self.path + '/latex2e_0.html' self.current_uri = self.home_uri with open( os.path.join(ServiceLocator.get_resources_path(), 'help', 'search_index.pickle'), 'rb') as filehandle: self.search_index = pickle.load(filehandle) self.search_results_blank = list() self.search_results = self.search_results_blank self.query = '' self.controller = help_panel_controller.HelpPanelController( self, self.view) self.presenter = help_panel_presenter.HelpPanelPresenter( self, self.view) self.add_change_code('search_query_changed')
def __init__(self, preview, view): Observable.__init__(self) self.preview = preview self.view = view self.hidpi_factor = self.view.get_scale_factor() self.ppp = self.get_ppp() # pixels per point self.vertical_margin_points = 0 self.horizontal_margin_points = 0 self.vertical_margin = None self.horizontal_margin = None self.page_width = None self.page_height = None self.page_gap_points = 5 self.page_gap = None self.border_width = None self.canvas_width = None self.canvas_height = None self.scale_factor = None self.current_page = None self.visible_synctex_rectangles = dict() self.visible_synctex_rectangles_time = None self.has_layout = False self.preview.register_observer(self) if self.preview.pdf_filename != None: self.update_layout()
def __init__(self, document): Observable.__init__(self) self.document = document self.pdf_filename = None self.invert_pdf = False self.poppler_document = None self.page_width = None self.page_height = None self.xoffset = 0 self.yoffset = 0 self.layout = None self.visible_synctex_rectangles = list() self.visible_synctex_rectangles_time = None self.view = preview_view.PreviewView() self.layouter = preview_layouter.PreviewLayouter(self, self.view) self.zoom_manager = preview_zoom_manager.PreviewZoomManager(self, self.view) self.controller = preview_controller.PreviewController(self, self.view) self.page_renderer = preview_page_renderer.PreviewPageRenderer(self) self.links_parser = preview_links_parser.PreviewLinksParser(self) self.presenter = preview_presenter.PreviewPresenter(self, self.page_renderer, self.view) self.paging_widget = paging_widget.PagingWidget(self) self.zoom_widget = zoom_widget.ZoomWidget(self) self.document.connect('filename_change', self.on_filename_change) self.document.connect('pdf_updated', self.on_pdf_updated)
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, document): Observable.__init__(self) self.document = document self.settings = ServiceLocator.get_settings() self.items = list() self.view = build_widget_view.BuildWidgetView() self.view.stop_button.connect('clicked', self.on_stop_build_button_click) self.view.clean_button.connect('clicked', self.on_clean_button_click) self.view.build_button.show_all() self.view.stop_button.hide() self.build_button_state = ('idle', int(time.time() * 1000)) self.set_clean_button_state() self.document.connect('filename_change', self.on_filename_change) self.document.build_system.connect('build_state_change', self.on_build_state_change) self.document.build_system.connect('build_state', self.on_build_state) self.settings.connect('settings_changed', self.on_settings_changed) self.view.build_timer.connect('notify::child-revealed', self.on_revealer_finished)
def __init__(self, workspace): Observable.__init__(self) self.workspace = workspace self.workspace.register_observer(self) self.document = None self.can_sync = False self.update_document()
def __init__(self, preview, view): Observable.__init__(self) self.preview = preview self.view = view self.zoom_level_fit_to_width = None self.zoom_level_fit_to_text_width = None self.zoom_level_fit_to_height = None self.zoom_level = None self.zoom_set = False
def __init__(self, workspace): Observable.__init__(self) self.workspace = workspace self.presenter = document_switcher_presenter.DocumentSwitcherPresenter( self, self.workspace) self.controller = document_switcher_controller.DocumentSwitcherController( self, self.workspace) # can be normal or selection self.mode = 'normal'
def __init__(self, main_window): Observable.__init__(self) self.main_window = main_window self.default_folder = None self.filename = None self.filters = list() self.title = _('Choose File') self.view = FilechooserButtonView() self.view.connect('clicked', self.on_button_clicked)
def __init__(self, main_window, settings): Observable.__init__(self) self.main_window = main_window self.settings = settings self.settings.connect('settings_changed', self.on_settings_changed) self.text_view = Gtk.TextView() self.text_view.set_monospace(True) self.system_font = self.text_view.get_pango_context().get_font_description().to_string() self.font_string = None self.update_font_string()
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)
def __init__(self, workspace): Observable.__init__(self) self.workspace = workspace self.settings = ServiceLocator.get_settings() self.document = None self.items = list() self.hover_item = None self.view = ServiceLocator.get_main_window().build_log self.presenter = build_log_presenter.BuildLogPresenter(self, self.view) self.controller = build_log_controller.BuildLogController( self, self.view)
def __init__(self, main_window, settings): Observable.__init__(self) self.main_window = main_window self.settings = settings self.settings.register_observer(self) textview = Gtk.TextView() textview.set_monospace(True) self.system_font = textview.get_pango_context().get_font_description( ).to_string() self.font_string = None self.update_font_string()
def __init__(self, sidebar, workspace): Observable.__init__(self) self.workspace = workspace self.document = None self.integrated_includes = dict() self.signal_id = sidebar.view.connect('draw', self.on_first_draw) self.workspace.connect('new_document', self.on_new_document) self.workspace.connect('document_removed', self.on_document_removed) self.workspace.connect('new_active_document', self.on_new_active_document) self.workspace.connect('root_state_change', self.on_root_state_change)
def __init__(self, pathname): Observable.__init__(self) self.gtksettings = Gtk.Settings.get_default() self.pathname = pathname self.data = dict() self.defaults = dict() self.set_defaults() if not self.unpickle(): self.data = self.defaults self.pickle()
def __init__(self, document): Observable.__init__(self) self.document = document self.settings = ServiceLocator.get_settings() self.active_query = None # possible states: idle, ready_for_building # building_in_progress, building_to_stop self.build_state = 'idle' # possible values: build, forward_sync, build_and_forward_sync self.build_mode = 'build_and_forward_sync' self.document_has_been_built = False self.build_time = None self.last_build_start_time = None self.has_synctex_file = False self.backward_sync_data = None self.forward_sync_arguments = None self.can_sync = False self.update_can_sync() self.build_log_data = { 'items': list(), 'error_count': 0, 'warning_count': 0, 'badbox_count': 0 } self.builders = dict() self.builders['build_latex'] = builder_build_latex.BuilderBuildLaTeX() self.builders[ 'build_bibtex'] = builder_build_bibtex.BuilderBuildBibTeX() self.builders['build_biber'] = builder_build_biber.BuilderBuildBiber() self.builders[ 'build_makeindex'] = builder_build_makeindex.BuilderBuildMakeindex( ) self.builders[ 'build_glossaries'] = builder_build_glossaries.BuilderBuildGlossaries( ) self.builders[ 'forward_sync'] = builder_forward_sync.BuilderForwardSync() self.builders[ 'backward_sync'] = builder_backward_sync.BuilderBackwardSync() self.document.preview.connect('pdf_changed', self.update_can_sync) GObject.timeout_add(50, self.results_loop)
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.source_buffer = None self.search_settings = None self.search_context = None self.parser = None self.init_buffer()
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, pathname): Observable.__init__(self) self.gtksettings = Gtk.Settings.get_default() self.pathname = pathname self.data = dict() self.defaults = dict() self.set_defaults() if not self.unpickle(): self.data = self.defaults self.pickle() # load gsettings schema concerning application menu / window decorations self.button_layout = self.gtksettings.get_property('gtk-decoration-layout')
def __init__(self, document): Observable.__init__(self) self.document = document self.pdf_filename = None self.pdf_date = None self.invert_pdf = False self.poppler_document_lock = thread.allocate_lock() self.poppler_document = None self.links_lock = thread.allocate_lock() self.links_parsed = True with self.links_lock: self.links = dict() self.links_parser_lock = thread.allocate_lock() self.number_of_pages = 0 self.page_width = None self.page_height = None self.xoffset = 0 self.yoffset = 0 self.zoom_levels = [ 0.25, 0.5, 0.75, 1.0, 1.25, 1.5, 1.75, 2.0, 3.0, 4.0 ] self.zoom_level_fit_to_width = None self.zoom_level_fit_to_text_width = None self.zoom_level_fit_to_height = None self.zoom_level = None self.visible_synctex_rectangles = list() self.visible_synctex_rectangles_time = None self.pdf_loaded = False self.is_visible = False self.first_show = True self.view = preview_view.PreviewView() self.layouter = preview_layouter.PreviewLayouter(self, self.view) self.controller = preview_controller.PreviewController( self, self.layouter, self.view) self.page_renderer = preview_page_renderer.PreviewPageRenderer( self, self.layouter) self.presenter = preview_presenter.PreviewPresenter( self, self.layouter, self.page_renderer, self.view) self.paging_widget = paging_widget.PagingWidget(self, self.layouter) self.zoom_widget = zoom_widget.ZoomWidget(self) self.document.register_observer(self)
def __init__(self, workspace): Observable.__init__(self) self.workspace = workspace self.settings = ServiceLocator.get_settings() self.document = None self.items = list() self.symbols = { 'Badbox': 'own-badbox-symbolic', 'Error': 'dialog-error-symbolic', 'Warning': 'dialog-warning-symbolic' } self.view = ServiceLocator.get_main_window().build_log self.presenter = build_log_presenter.BuildLogPresenter(self, self.view) self.controller = build_log_controller.BuildLogController( self, self.view)
def __init__(self, language, document): Observable.__init__(self) self.document = document self.settings = ServiceLocator.get_settings() self.source_buffer = GtkSource.Buffer() self.source_view = GtkSource.View.new_with_buffer(self.source_buffer) self.source_language_manager = ServiceLocator.get_source_language_manager( ) self.source_style_scheme_manager = ServiceLocator.get_source_style_scheme_manager( ) if language == 'bibtex': self.source_language = self.source_language_manager.get_language( 'bibtex') else: self.source_language = self.source_language_manager.get_language( 'latex') self.source_buffer.set_language(self.source_language) self.update_syntax_scheme() self.scroll_to = None self.insert_position = 0 self.synctex_tag_count = 0 self.synctex_highlight_tags = dict() self.indentation_update = None self.indentation_tags = dict() self.placeholder_tag = self.source_buffer.create_tag('placeholder') self.placeholder_tag.set_property('background', '#fce94f') self.placeholder_tag.set_property('foreground', '#000') self.source_buffer.connect('mark-set', self.on_mark_set) self.source_buffer.connect('mark-deleted', self.on_mark_deleted) self.source_buffer.connect('insert-text', self.on_insert_text) self.source_buffer.connect('delete-range', self.on_delete_range) self.source_buffer.connect('changed', self.on_buffer_changed) self.source_buffer.connect('modified-changed', self.on_modified_changed) self.undo_manager = self.source_buffer.get_undo_manager() self.undo_manager.connect('can-undo-changed', self.on_can_undo_changed) self.undo_manager.connect('can-redo-changed', self.on_can_redo_changed) self.settings.connect('settings_changed', self.on_settings_changed)
def __init__(self, document): Observable.__init__(self) self.is_enabled = False self.folding_regions = dict() self.folding_regions_by_region_id = dict() self.maximum_region_id = 0 self.initial_folded_regions_set = False self.initial_folding_done = False self.initial_folding_regions_checked_count = 0 self.document = document self.view = code_folding_view.CodeFoldingView() self.presenter = code_folding_presenter.CodeFoldingPresenter( self, self.view) self.controller = code_folding_controller.CodeFoldingController(self) self.on_buffer_changed(self.document.get_buffer())
def __init__(self, document): Observable.__init__(self) self.document = document self.settings = ServiceLocator.get_settings() self.items = list() self.view = build_widget_view.BuildWidgetView() self.view.stop_button.connect('clicked', self.on_stop_build_button_click) self.view.clean_button.connect('clicked', self.on_clean_button_click) self.view.build_button.show_all() self.view.stop_button.hide() self.build_button_state = ('idle', int(time.time() * 1000)) self.set_clean_button_state() self.document.register_observer(self) self.settings.register_observer(self)
def __init__(self, workspace): Observable.__init__(self) self.workspace = workspace self.view = ServiceLocator.get_main_window().help_panel self.path = 'file://' + os.path.join( ServiceLocator.get_resources_path(), 'help') self.home_uri = self.path + '/latex2e_0.html' self.current_uri = self.home_uri with open( os.path.join(ServiceLocator.get_resources_path(), 'help', 'search_index.pickle'), 'rb') as filehandle: self.search_index = pickle.load(filehandle) self.search_results_blank = list() self.search_results = self.search_results_blank self.query = '' GLib.idle_add(self.activate, priority=GLib.PRIORITY_LOW)
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): Observable.__init__(self) self.font_manager = ServiceLocator.get_font_manager() 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.symbols = dict() self.symbols['bibitems'] = set() self.symbols['labels'] = set() self.symbols['labels_with_offset'] = list() self.symbols['included_latex_files'] = set() self.symbols['bibliographies'] = set() self.symbols['packages'] = set() self.symbols['packages_detailed'] = dict() self.symbols['blocks'] = list()
def __init__(self, preview): Observable.__init__(self) self.preview = preview self.maximum_rendered_pixels = 20000000 self.visible_pages_lock = thread.allocate_lock() self.visible_pages = list() self.page_width = None self.pdf_date = None self.rendered_pages = dict() self.is_active_lock = thread.allocate_lock() self.is_active = False self.preview.connect('position_changed', self.on_layout_or_position_changed) self.preview.connect('layout_changed', self.on_layout_or_position_changed) self.page_render_count_lock = thread.allocate_lock() self.page_render_count = dict() self.render_queue = queue.Queue() self.render_queue_low_priority = queue.Queue() self.rendered_pages_queue = queue.Queue() thread.start_new_thread(self.render_page_loop, ()) GObject.timeout_add(50, self.rendered_pages_loop)
def __init__(self, preview, layouter): Observable.__init__(self) self.preview = preview self.layouter = layouter self.maximum_rendered_pixels = 20000000 self.visible_pages_lock = thread.allocate_lock() self.visible_pages = list() self.page_width = None self.pdf_date = None self.rendered_pages = dict() self.is_active_lock = thread.allocate_lock() self.is_active = False self.preview.register_observer(self) self.layouter.register_observer(self) self.page_render_count_lock = thread.allocate_lock() self.page_render_count = dict() self.render_queue = queue.Queue() self.render_queue_low_priority = queue.Queue() self.rendered_pages_queue = queue.Queue() thread.start_new_thread(self.render_page_loop, ()) GObject.timeout_add(50, self.rendered_pages_loop)