diff -r a56c297bfd61 -r b8005dd4fc9b src/eric7/Documentation/Help/source.qhp
--- a/src/eric7/Documentation/Help/source.qhp Mon Mar 27 22:05:05 2023 +0200
+++ b/src/eric7/Documentation/Help/source.qhp Tue Mar 28 10:14:23 2023 +0200
@@ -4644,6 +4644,7 @@
<keyword name="Editor.clearFlakesWarnings" id="Editor.clearFlakesWarnings" ref="eric7.QScintilla.Editor.html#Editor.clearFlakesWarnings" />
<keyword name="Editor.clearHighlight" id="Editor.clearHighlight" ref="eric7.QScintilla.Editor.html#Editor.clearHighlight" />
<keyword name="Editor.clearSearchIndicators" id="Editor.clearSearchIndicators" ref="eric7.QScintilla.Editor.html#Editor.clearSearchIndicators" />
+ <keyword name="Editor.clearSearchSelectionHighlight" id="Editor.clearSearchSelectionHighlight" ref="eric7.QScintilla.Editor.html#Editor.clearSearchSelectionHighlight" />
<keyword name="Editor.clearStyleWarnings" id="Editor.clearStyleWarnings" ref="eric7.QScintilla.Editor.html#Editor.clearStyleWarnings" />
<keyword name="Editor.clearStyles" id="Editor.clearStyles" ref="eric7.QScintilla.Editor.html#Editor.clearStyles" />
<keyword name="Editor.clearSyntaxError" id="Editor.clearSyntaxError" ref="eric7.QScintilla.Editor.html#Editor.clearSyntaxError" />
@@ -4728,6 +4729,7 @@
<keyword name="Editor.hasTaskMarkers" id="Editor.hasTaskMarkers" ref="eric7.QScintilla.Editor.html#Editor.hasTaskMarkers" />
<keyword name="Editor.hasWarnings" id="Editor.hasWarnings" ref="eric7.QScintilla.Editor.html#Editor.hasWarnings" />
<keyword name="Editor.highlight" id="Editor.highlight" ref="eric7.QScintilla.Editor.html#Editor.highlight" />
+ <keyword name="Editor.highlightSearchSelection" id="Editor.highlightSearchSelection" ref="eric7.QScintilla.Editor.html#Editor.highlightSearchSelection" />
<keyword name="Editor.highlightVisible" id="Editor.highlightVisible" ref="eric7.QScintilla.Editor.html#Editor.highlightVisible" />
<keyword name="Editor.indentLineOrSelection" id="Editor.indentLineOrSelection" ref="eric7.QScintilla.Editor.html#Editor.indentLineOrSelection" />
<keyword name="Editor.insertDocstring" id="Editor.insertDocstring" ref="eric7.QScintilla.Editor.html#Editor.insertDocstring" />
@@ -11088,11 +11090,13 @@
<keyword name="MiniEditor.__zoomTo" id="MiniEditor.__zoomTo" ref="eric7.QScintilla.MiniEditor.html#MiniEditor.__zoomTo" />
<keyword name="MiniEditor.activeWindow" id="MiniEditor.activeWindow" ref="eric7.QScintilla.MiniEditor.html#MiniEditor.activeWindow" />
<keyword name="MiniEditor.clearSearchIndicators" id="MiniEditor.clearSearchIndicators" ref="eric7.QScintilla.MiniEditor.html#MiniEditor.clearSearchIndicators" />
+ <keyword name="MiniEditor.clearSearchSelectionHighlight" id="MiniEditor.clearSearchSelectionHighlight" ref="eric7.QScintilla.MiniEditor.html#MiniEditor.clearSearchSelectionHighlight" />
<keyword name="MiniEditor.closeEvent" id="MiniEditor.closeEvent" ref="eric7.QScintilla.MiniEditor.html#MiniEditor.closeEvent" />
<keyword name="MiniEditor.getFileName" id="MiniEditor.getFileName" ref="eric7.QScintilla.MiniEditor.html#MiniEditor.getFileName" />
<keyword name="MiniEditor.getLanguage" id="MiniEditor.getLanguage" ref="eric7.QScintilla.MiniEditor.html#MiniEditor.getLanguage" />
<keyword name="MiniEditor.getSRHistory" id="MiniEditor.getSRHistory" ref="eric7.QScintilla.MiniEditor.html#MiniEditor.getSRHistory" />
<keyword name="MiniEditor.gotoLine" id="MiniEditor.gotoLine" ref="eric7.QScintilla.MiniEditor.html#MiniEditor.gotoLine" />
+ <keyword name="MiniEditor.highlightSearchSelection" id="MiniEditor.highlightSearchSelection" ref="eric7.QScintilla.MiniEditor.html#MiniEditor.highlightSearchSelection" />
<keyword name="MiniEditor.setLanguage" id="MiniEditor.setLanguage" ref="eric7.QScintilla.MiniEditor.html#MiniEditor.setLanguage" />
<keyword name="MiniEditor.setSearchIndicator" id="MiniEditor.setSearchIndicator" ref="eric7.QScintilla.MiniEditor.html#MiniEditor.setSearchIndicator" />
<keyword name="MiniEditor.setText" id="MiniEditor.setText" ref="eric7.QScintilla.MiniEditor.html#MiniEditor.setText" />
@@ -17954,7 +17958,6 @@
<keyword name="ViewManager.projectOpened" id="ViewManager.projectOpened" ref="eric7.ViewManager.ViewManager.html#ViewManager.projectOpened" />
<keyword name="ViewManager.receive" id="ViewManager.receive" ref="eric7.ViewManager.ViewManager.html#ViewManager.receive" />
<keyword name="ViewManager.removeSplit" id="ViewManager.removeSplit" ref="eric7.ViewManager.ViewManager.html#ViewManager.removeSplit" />
- <keyword name="ViewManager.replaceWidget" id="ViewManager.replaceWidget" ref="eric7.ViewManager.ViewManager.html#ViewManager.replaceWidget" />
<keyword name="ViewManager.saveAllEditors" id="ViewManager.saveAllEditors" ref="eric7.ViewManager.ViewManager.html#ViewManager.saveAllEditors" />
<keyword name="ViewManager.saveAsCurrentEditor" id="ViewManager.saveAsCurrentEditor" ref="eric7.ViewManager.ViewManager.html#ViewManager.saveAsCurrentEditor" />
<keyword name="ViewManager.saveAsEditorEd" id="ViewManager.saveAsEditorEd" ref="eric7.ViewManager.ViewManager.html#ViewManager.saveAsEditorEd" />
@@ -17964,7 +17967,7 @@
<keyword name="ViewManager.saveEditor" id="ViewManager.saveEditor" ref="eric7.ViewManager.ViewManager.html#ViewManager.saveEditor" />
<keyword name="ViewManager.saveEditorEd" id="ViewManager.saveEditorEd" ref="eric7.ViewManager.ViewManager.html#ViewManager.saveEditorEd" />
<keyword name="ViewManager.saveEditorsList" id="ViewManager.saveEditorsList" ref="eric7.ViewManager.ViewManager.html#ViewManager.saveEditorsList" />
- <keyword name="ViewManager.searchWidget" id="ViewManager.searchWidget" ref="eric7.ViewManager.ViewManager.html#ViewManager.searchWidget" />
+ <keyword name="ViewManager.searchReplaceWidget" id="ViewManager.searchReplaceWidget" ref="eric7.ViewManager.ViewManager.html#ViewManager.searchReplaceWidget" />
<keyword name="ViewManager.send" id="ViewManager.send" ref="eric7.ViewManager.ViewManager.html#ViewManager.send" />
<keyword name="ViewManager.sendSharedEdit" id="ViewManager.sendSharedEdit" ref="eric7.ViewManager.ViewManager.html#ViewManager.sendSharedEdit" />
<keyword name="ViewManager.setCooperationClient" id="ViewManager.setCooperationClient" ref="eric7.ViewManager.ViewManager.html#ViewManager.setCooperationClient" />
