def _syncViewAndModel(self):
self.view.editor.editor_font = Preferences.getEditorFont()
self.view.editor.file_encoding = Preferences.getFileEncoding()
self.view.editor.line_endings = Preferences.getLineEndings()
self.view.editor.indentation_type = Preferences.getIndentationType()
self.view.editor.indentation_size = Preferences.getIndentationSize()
self.view.editor.auto_wrap = Preferences.getAutoWrap()
self.view.editor.error_markers = Preferences.getShowErrorMarkers()
self.view.editor.error_annotations = Preferences.getShowErrorAnnotations(
)
self.view.editor.select_tags = Preferences.getSelectTags()
self.view.editor.auto_preview = Preferences.getAutoPreview()
self.view.editor.preview_threshold = Preferences.getPreviewThreshold()
self.view.document.latex_file_template = Preferences.getLatexFileTemplate(
)
self.view.document.preamble_template = Preferences.getPreambleTemplate(
)
self.view.preview.preview_template = Preferences.getPreviewTemplate()
self.view.preview.latex_to_pdf_command = Preferences.getLatexToPDFCommand(
)
self.view.preview.pdf_to_image_command = Preferences.getPDFToImageCommand(
)
self.view.snippets.snippets = Preferences.getSnippets()
def _sourceSelectionChanged(self):
select_tags = Preferences.getSelectTags()
if (not select_tags):
source = self.source_editor_view
(line_from, index_from, line_to, index_to) = source.getSelection()
selection_changed = False
if line_from == 0 and index_from < 19:
index_from = 19
selection_changed = True
if line_to == source.lines() - 1:
line_to = source.lines() - 2
index_to = source.lineSize(line_to + 1)
selection_changed = True
if selection_changed:
source.setSelection(line_from, index_from, line_to, index_to)
def _sourceCursorPositionChanged(self, line, index):
select_tags = Preferences.getSelectTags()
if (not select_tags):
source = self.source_editor_view
content = source.content
if not (content.startswith("\\begin{tikzpicture}")
and content.startswith("\\begin{tikzpicture")):
source.content = "\\begin{tikzpicture}" + content[18:]
if line == 0 and index < 20:
source.setCursorPosition(0, 19)
source.setReadOnly(True)
elif line == source.lines() - 1:
source.setCursorPosition(source.lines() - 2,
source.lineSize(source.lines() - 1))
source.setReadOnly(True)
