Esempio n. 1
0
    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.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()
Esempio n. 2
0
	def requestPreviewUpdate(self):
		if self._isEndOfInstruction():
			self.updatePreview()
		elif Preferences.getAutoPreview():
			self.updatePreviewAfterTypingPause()
		else:
			self.request_preview_update = False
Esempio n. 3
0
 def requestPreviewUpdate(self):
     if self._isEndOfInstruction():
         self.updatePreview()
     elif Preferences.getAutoPreview():
         self.updatePreviewAfterTypingPause()
     else:
         self.request_preview_update = False
Esempio n. 4
0
	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.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()