Mercurial Repositories > eric / file diff

--- 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.