Mercurial Repositories > eric / changeset

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

--- a/eric7/Preferences/ConfigurationPages/EditorGeneralPage.ui	Mon Aug 02 15:05:41 2021 +0200
+++ b/eric7/Preferences/ConfigurationPages/EditorGeneralPage.ui	Wed Aug 04 14:28:04 2021 +0200
@@ -429,6 +429,69 @@
     </widget>
    </item>
    <item>
+    <widget class="QGroupBox" name="mouseHoverHelpGroupBox">
+     <property name="toolTip">
+      <string>Select to enable the support for mouse hover help text</string>
+     </property>
+     <property name="whatsThis">
+      <string>&lt;html&gt;&lt;head/&gt;&lt;body&gt;&lt;p&gt;&amp;lt;b&amp;gt;Mouse Hover Help&amp;lt;/b&amp;gt;&lt;/p&gt;&lt;p&gt;&amp;lt;p&amp;gt;Enable this option to show some information about the symbol the mouse is hovering over. An information provider plug-in (e.g. Jedi) must be installed for this to work.&amp;lt;/p&amp;gt;&lt;/p&gt;&lt;/body&gt;&lt;/html&gt;</string>
+     </property>
+     <property name="title">
+      <string>Mouse Hover Help</string>
+     </property>
+     <property name="checkable">
+      <bool>true</bool>
+     </property>
+     <layout class="QHBoxLayout" name="horizontalLayout">
+      <item>
+       <widget class="QLabel" name="label_5">
+        <property name="text">
+         <string>Wait time:</string>
+        </property>
+       </widget>
+      </item>
+      <item>
+       <widget class="QSpinBox" name="mouseDwellTimeSpinBox">
+        <property name="toolTip">
+         <string>Enter the time to wait before help information is shown</string>
+        </property>
+        <property name="alignment">
+         <set>Qt::AlignRight|Qt::AlignTrailing|Qt::AlignVCenter</set>
+        </property>
+        <property name="suffix">
+         <string> ms</string>
+        </property>
+        <property name="minimum">
+         <number>100</number>
+        </property>
+        <property name="maximum">
+         <number>1000</number>
+        </property>
+        <property name="singleStep">
+         <number>50</number>
+        </property>
+        <property name="value">
+         <number>500</number>
+        </property>
+       </widget>
+      </item>
+      <item>
+       <spacer name="horizontalSpacer_2">
+        <property name="orientation">
+         <enum>Qt::Horizontal</enum>
+        </property>
+        <property name="sizeHint" stdset="0">
+         <size>
+          <width>347</width>
+          <height>20</height>
+         </size>
+        </property>
+       </spacer>
+      </item>
+     </layout>
+    </widget>
+   </item>
+   <item>
     <widget class="QGroupBox" name="groupBox_2">
      <property name="title">
       <string>Virtual Space</string>
@@ -487,6 +550,8 @@
   <tabstop>comment0CheckBox</tabstop>
   <tabstop>docstringStyleComboBox</tabstop>
   <tabstop>docstringCompletionCheckBox</tabstop>
+  <tabstop>mouseHoverHelpGroupBox</tabstop>
+  <tabstop>mouseDwellTimeSpinBox</tabstop>
   <tabstop>vsSelectionCheckBox</tabstop>
   <tabstop>vsUserCheckBox</tabstop>
  </tabstops>

--- a/eric7/Preferences/__init__.py	Mon Aug 02 15:05:41 2021 +0200
+++ b/eric7/Preferences/__init__.py	Wed Aug 04 14:28:04 2021 +0200
@@ -435,7 +435,10 @@
         "OnlineSyntaxCheckInterval": 5,
         
         "OnlineChangeTrace": True,
-        "OnlineChangeTraceInterval": 500,      # 1000 milliseconds
+        "OnlineChangeTraceInterval": 500,       # 500 milliseconds
+        
+        "MouseHoverHelp": False,
+        "MouseHoverTimeout": 500,               # 500 milliseconds
         
         "AutoReopen": False,
         
@@ -2106,7 +2109,7 @@
                  "OnlineSyntaxCheckInterval", "OnlineChangeTraceInterval",
                  "WrapStartIndent", "VirtualSpaceOptions",
                  "PreviewRefreshWaitTimer", "SourceOutlineWidth",
-                 "SourceOutlineStepSize", "FoldingStyle"]:
+                 "SourceOutlineStepSize", "FoldingStyle", "MouseHoverTimeout"]:
         return int(prefClass.settings.value(
             "Editor/" + key, prefClass.editorDefaults[key]))
     elif key in ["AdditionalOpenFilters", "AdditionalSaveFilters",