Preferences/ConfigurationPages/EditorFilePage.py

changeset 7
c679fb30c8f3
parent 6
52e8c820d0dd
child 12
1d8dd9706f46
equal deleted inserted replaced
6:52e8c820d0dd 7:c679fb30c8f3
78 Public slot to save the Editor General configuration. 78 Public slot to save the Editor General configuration.
79 """ 79 """
80 Preferences.setEditor("AutosaveInterval", 80 Preferences.setEditor("AutosaveInterval",
81 self.autosaveSlider.value()) 81 self.autosaveSlider.value())
82 Preferences.setEditor("CreateBackupFile", 82 Preferences.setEditor("CreateBackupFile",
83 int(self.createBackupFileCheckBox.isChecked())) 83 self.createBackupFileCheckBox.isChecked())
84 Preferences.setEditor("AutoCheckSyntax", 84 Preferences.setEditor("AutoCheckSyntax",
85 int(self.automaticSyntaxCheckCheckBox.isChecked())) 85 self.automaticSyntaxCheckCheckBox.isChecked())
86 enc = self.defaultEncodingComboBox.currentText() 86 enc = self.defaultEncodingComboBox.currentText()
87 if not enc: 87 if not enc:
88 enc = "utf-8" 88 enc = "utf-8"
89 Preferences.setEditor("DefaultEncoding", enc) 89 Preferences.setEditor("DefaultEncoding", enc)
90 Preferences.setEditor("AdvancedEncodingDetection", 90 Preferences.setEditor("AdvancedEncodingDetection",
91 int(self.advEncodingCheckBox.isChecked())) 91 self.advEncodingCheckBox.isChecked())
92 Preferences.setEditor("WarnFilesize", 92 Preferences.setEditor("WarnFilesize",
93 self.warnFilesizeSpinBox.value()) 93 self.warnFilesizeSpinBox.value())
94 Preferences.setEditor("ClearBreaksOnClose", 94 Preferences.setEditor("ClearBreaksOnClose",
95 int(self.clearBreakpointsCheckBox.isChecked())) 95 self.clearBreakpointsCheckBox.isChecked())
96 Preferences.setEditor("AutoReopen", 96 Preferences.setEditor("AutoReopen",
97 int(self.automaticReopenCheckBox.isChecked())) 97 self.automaticReopenCheckBox.isChecked())
98 Preferences.setEditor("StripTrailingWhitespace", 98 Preferences.setEditor("StripTrailingWhitespace",
99 int(self.stripWhitespaceCheckBox.isChecked())) 99 self.stripWhitespaceCheckBox.isChecked())
100 Preferences.setEditor("DefaultOpenFilter", 100 Preferences.setEditor("DefaultOpenFilter",
101 self.openFilesFilterComboBox.currentText()) 101 self.openFilesFilterComboBox.currentText())
102 Preferences.setEditor("DefaultSaveFilter", 102 Preferences.setEditor("DefaultSaveFilter",
103 self.saveFilesFilterComboBox.currentText()) 103 self.saveFilesFilterComboBox.currentText())
104 Preferences.setEditor("AutomaticEOLConversion", 104 Preferences.setEditor("AutomaticEOLConversion",
105 int(self.automaticEolConversionCheckBox.isChecked())) 105 self.automaticEolConversionCheckBox.isChecked())
106 106
107 if self.crlfRadioButton.isChecked(): 107 if self.crlfRadioButton.isChecked():
108 Preferences.setEditor("EOLMode", QsciScintilla.EolWindows) 108 Preferences.setEditor("EOLMode", QsciScintilla.EolWindows)
109 elif self.crRadioButton.isChecked(): 109 elif self.crRadioButton.isChecked():
110 Preferences.setEditor("EOLMode", QsciScintilla.EolMac) 110 Preferences.setEditor("EOLMode", QsciScintilla.EolMac)

eric ide

mercurial