diff -r ec17f5d559e9 -r 7f46c5a7ed73 Preferences/ConfigurationPages/EditorGeneralPage.py --- a/Preferences/ConfigurationPages/EditorGeneralPage.py Sun May 19 14:38:05 2013 +0200 +++ b/Preferences/ConfigurationPages/EditorGeneralPage.py Sun May 19 15:39:12 2013 +0200 @@ -7,6 +7,8 @@ Module implementing the Editor General configuration page. """ +from PyQt4.Qsci import QsciScintillaBase + from .ConfigurationPageBase import ConfigurationPageBase from .Ui_EditorGeneralPage import Ui_EditorGeneralPage @@ -43,6 +45,12 @@ self.comment0CheckBox.setChecked( Preferences.getEditor("CommentColumn0")) + virtualSpaceOptions = Preferences.getEditor("VirtualSpaceOptions") + self.vsSelectionCheckBox.setChecked( + virtualSpaceOptions & QsciScintillaBase.SCVS_RECTANGULARSELECTION) + self.vsUserCheckBox.setChecked( + virtualSpaceOptions & QsciScintillaBase.SCVS_USERACCESSIBLE) + def save(self): """ Public slot to save the Editor General configuration. @@ -64,6 +72,13 @@ Preferences.setEditor("CommentColumn0", self.comment0CheckBox.isChecked()) + virtualSpaceOptions = QsciScintillaBase.SCVS_NONE + if self.vsSelectionCheckBox.isChecked(): + virtualSpaceOptions |= QsciScintillaBase.SCVS_RECTANGULARSELECTION + if self.vsUserCheckBox.isChecked(): + virtualSpaceOptions |= QsciScintillaBase.SCVS_USERACCESSIBLE + Preferences.setEditor("VirtualSpaceOptions", virtualSpaceOptions) + def on_tabforindentationCheckBox_toggled(self, checked): """ Private slot used to set the tab conversion check box.