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