Mercurial Repositories > eric / file diff

--- a/Preferences/ConfigurationPages/EditorGeneralPage.py	Fri May 24 18:39:58 2013 +0200
+++ b/Preferences/ConfigurationPages/EditorGeneralPage.py	Tue May 28 20:52:12 2013 +0200
@@ -9,6 +9,8 @@
 
 from __future__ import unicode_literals    # __IGNORE_WARNING__
 
+from PyQt4.Qsci import QsciScintillaBase
+
 from .ConfigurationPageBase import ConfigurationPageBase
 from .Ui_EditorGeneralPage import Ui_EditorGeneralPage
 
@@ -45,6 +47,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.
@@ -66,6 +74,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.