コード例 #1
0
ファイル: preferences.py プロジェクト: spartajet/TikZ-Editor
    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()
コード例 #2
0
ファイル: preferences.py プロジェクト: eccstartup/TikZ-Editor
	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()
コード例 #3
0
	def loadUserPreferences(self):
		self.show_error_markers = Preferences.getShowErrorMarkers()
		self.show_error_annotations = Preferences.getShowErrorAnnotations()
		self.clearErrorMarginMarkersAndAnnotations()
		self._updateEditorsMarginsAndAnnotations()