--- a/src/eric7/Documentation/Help/source.qhp Sat Jan 13 12:58:16 2024 +0100 +++ b/src/eric7/Documentation/Help/source.qhp Sat Jan 13 13:01:09 2024 +0100 @@ -4669,6 +4669,8 @@ <keyword name="Editor.__loadEditorConfig" id="Editor.__loadEditorConfig" ref="eric7.QScintilla.Editor.html#Editor.__loadEditorConfig" /> <keyword name="Editor.__loadEditorConfigObject" id="Editor.__loadEditorConfigObject" ref="eric7.QScintilla.Editor.html#Editor.__loadEditorConfigObject" /> <keyword name="Editor.__marginClicked" id="Editor.__marginClicked" ref="eric7.QScintilla.Editor.html#Editor.__marginClicked" /> + <keyword name="Editor.__marginHoverEnd" id="Editor.__marginHoverEnd" ref="eric7.QScintilla.Editor.html#Editor.__marginHoverEnd" /> + <keyword name="Editor.__marginHoverStart" id="Editor.__marginHoverStart" ref="eric7.QScintilla.Editor.html#Editor.__marginHoverStart" /> <keyword name="Editor.__marginNumber" id="Editor.__marginNumber" ref="eric7.QScintilla.Editor.html#Editor.__marginNumber" /> <keyword name="Editor.__markOccurrences" id="Editor.__markOccurrences" ref="eric7.QScintilla.Editor.html#Editor.__markOccurrences" /> <keyword name="Editor.__menuClearBreakpoints" id="Editor.__menuClearBreakpoints" ref="eric7.QScintilla.Editor.html#Editor.__menuClearBreakpoints" />