eric7/Preferences/ConfigurationPages/EditorGeneralPage.py

branch
eric7
changeset 8505
bbe43ddfae56
parent 8358
144a6b854f70
child 8881
54e42bc2437a
diff -r 42ea01dad8af -r bbe43ddfae56 eric7/Preferences/ConfigurationPages/EditorGeneralPage.py
--- a/eric7/Preferences/ConfigurationPages/EditorGeneralPage.py	Mon Aug 02 15:05:41 2021 +0200
+++ b/eric7/Preferences/ConfigurationPages/EditorGeneralPage.py	Wed Aug 04 14:28:04 2021 +0200
@@ -77,6 +77,11 @@
         self.docstringCompletionCheckBox.setChecked(
             Preferences.getEditor("DocstringAutoGenerate"))
         
+        self.mouseHoverHelpGroupBox.setChecked(
+            Preferences.getEditor("MouseHoverHelp"))
+        self.mouseDwellTimeSpinBox.setValue(
+            Preferences.getEditor("MouseHoverTimeout"))
+        
         virtualSpaceOptions = Preferences.getEditor("VirtualSpaceOptions")
         self.vsSelectionCheckBox.setChecked(
             virtualSpaceOptions & QsciScintillaBase.SCVS_RECTANGULARSELECTION)
@@ -131,6 +136,13 @@
             "DocstringAutoGenerate",
             self.docstringCompletionCheckBox.isChecked())
         
+        Preferences.setEditor(
+            "MouseHoverHelp",
+            self.mouseHoverHelpGroupBox.isChecked())
+        Preferences.setEditor(
+            "MouseHoverTimeout",
+            self.mouseDwellTimeSpinBox.value())
+        
         virtualSpaceOptions = QsciScintillaBase.SCVS_NONE
         if self.vsSelectionCheckBox.isChecked():
             virtualSpaceOptions |= QsciScintillaBase.SCVS_RECTANGULARSELECTION

eric ide

mercurial