Mercurial Repositories > eric / file diff

--- a/src/eric7/Documentation/Help/source.qhp	Tue Dec 05 14:32:11 2023 +0100
+++ b/src/eric7/Documentation/Help/source.qhp	Tue Dec 05 14:32:29 2023 +0100
@@ -4758,6 +4758,7 @@
       <keyword name="Editor.changeEvent" id="Editor.changeEvent" ref="eric7.QScintilla.Editor.html#Editor.changeEvent" />
       <keyword name="Editor.checkDirty" id="Editor.checkDirty" ref="eric7.QScintilla.Editor.html#Editor.checkDirty" />
       <keyword name="Editor.checkReadOnly" id="Editor.checkReadOnly" ref="eric7.QScintilla.Editor.html#Editor.checkReadOnly" />
+      <keyword name="Editor.checkRereadFile" id="Editor.checkRereadFile" ref="eric7.QScintilla.Editor.html#Editor.checkRereadFile" />
       <keyword name="Editor.checkSpelling" id="Editor.checkSpelling" ref="eric7.QScintilla.Editor.html#Editor.checkSpelling" />
       <keyword name="Editor.checkSyntax" id="Editor.checkSyntax" ref="eric7.QScintilla.Editor.html#Editor.checkSyntax" />
       <keyword name="Editor.clearAllHighlights" id="Editor.clearAllHighlights" ref="eric7.QScintilla.Editor.html#Editor.clearAllHighlights" />
@@ -4904,6 +4905,7 @@
       <keyword name="Editor.readFile" id="Editor.readFile" ref="eric7.QScintilla.Editor.html#Editor.readFile" />
       <keyword name="Editor.readSettings" id="Editor.readSettings" ref="eric7.QScintilla.Editor.html#Editor.readSettings" />
       <keyword name="Editor.receive" id="Editor.receive" ref="eric7.QScintilla.Editor.html#Editor.receive" />
+      <keyword name="Editor.recordModificationTime" id="Editor.recordModificationTime" ref="eric7.QScintilla.Editor.html#Editor.recordModificationTime" />
       <keyword name="Editor.redo" id="Editor.redo" ref="eric7.QScintilla.Editor.html#Editor.redo" />
       <keyword name="Editor.refresh" id="Editor.refresh" ref="eric7.QScintilla.Editor.html#Editor.refresh" />
       <keyword name="Editor.refreshCoverageAnnotations" id="Editor.refreshCoverageAnnotations" ref="eric7.QScintilla.Editor.html#Editor.refreshCoverageAnnotations" />
@@ -10713,7 +10715,9 @@
       <keyword name="Listspace (Package)" id="Listspace (Package)" ref="index-eric7.Plugins.ViewManagerPlugins.Listspace.html" />
       <keyword name="Listspace.__captionChange" id="Listspace.__captionChange" ref="eric7.Plugins.ViewManagerPlugins.Listspace.Listspace.html#Listspace.__captionChange" />
       <keyword name="Listspace.__contextMenuClose" id="Listspace.__contextMenuClose" ref="eric7.Plugins.ViewManagerPlugins.Listspace.Listspace.html#Listspace.__contextMenuClose" />
+      <keyword name="Listspace.__contextMenuCloseAbove" id="Listspace.__contextMenuCloseAbove" ref="eric7.Plugins.ViewManagerPlugins.Listspace.Listspace.html#Listspace.__contextMenuCloseAbove" />
       <keyword name="Listspace.__contextMenuCloseAll" id="Listspace.__contextMenuCloseAll" ref="eric7.Plugins.ViewManagerPlugins.Listspace.Listspace.html#Listspace.__contextMenuCloseAll" />
+      <keyword name="Listspace.__contextMenuCloseBelow" id="Listspace.__contextMenuCloseBelow" ref="eric7.Plugins.ViewManagerPlugins.Listspace.Listspace.html#Listspace.__contextMenuCloseBelow" />
       <keyword name="Listspace.__contextMenuCloseOthers" id="Listspace.__contextMenuCloseOthers" ref="eric7.Plugins.ViewManagerPlugins.Listspace.Listspace.html#Listspace.__contextMenuCloseOthers" />
       <keyword name="Listspace.__contextMenuCopyPathToClipboard" id="Listspace.__contextMenuCopyPathToClipboard" ref="eric7.Plugins.ViewManagerPlugins.Listspace.Listspace.html#Listspace.__contextMenuCopyPathToClipboard" />
       <keyword name="Listspace.__contextMenuCoverageScript" id="Listspace.__contextMenuCoverageScript" ref="eric7.Plugins.ViewManagerPlugins.Listspace.Listspace.html#Listspace.__contextMenuCoverageScript" />
@@ -16710,7 +16714,9 @@
       <keyword name="TabWidget.__closeRequested" id="TabWidget.__closeRequested" ref="eric7.Plugins.ViewManagerPlugins.Tabview.Tabview.html#TabWidget.__closeRequested" />
       <keyword name="TabWidget.__contextMenuClose" id="TabWidget.__contextMenuClose" ref="eric7.Plugins.ViewManagerPlugins.Tabview.Tabview.html#TabWidget.__contextMenuClose" />
       <keyword name="TabWidget.__contextMenuCloseAll" id="TabWidget.__contextMenuCloseAll" ref="eric7.Plugins.ViewManagerPlugins.Tabview.Tabview.html#TabWidget.__contextMenuCloseAll" />
+      <keyword name="TabWidget.__contextMenuCloseLeft" id="TabWidget.__contextMenuCloseLeft" ref="eric7.Plugins.ViewManagerPlugins.Tabview.Tabview.html#TabWidget.__contextMenuCloseLeft" />
       <keyword name="TabWidget.__contextMenuCloseOthers" id="TabWidget.__contextMenuCloseOthers" ref="eric7.Plugins.ViewManagerPlugins.Tabview.Tabview.html#TabWidget.__contextMenuCloseOthers" />
+      <keyword name="TabWidget.__contextMenuCloseRight" id="TabWidget.__contextMenuCloseRight" ref="eric7.Plugins.ViewManagerPlugins.Tabview.Tabview.html#TabWidget.__contextMenuCloseRight" />
       <keyword name="TabWidget.__contextMenuCopyPathToClipboard" id="TabWidget.__contextMenuCopyPathToClipboard" ref="eric7.Plugins.ViewManagerPlugins.Tabview.Tabview.html#TabWidget.__contextMenuCopyPathToClipboard" />
       <keyword name="TabWidget.__contextMenuCoverageScript" id="TabWidget.__contextMenuCoverageScript" ref="eric7.Plugins.ViewManagerPlugins.Tabview.Tabview.html#TabWidget.__contextMenuCoverageScript" />
       <keyword name="TabWidget.__contextMenuDebugScript" id="TabWidget.__contextMenuDebugScript" ref="eric7.Plugins.ViewManagerPlugins.Tabview.Tabview.html#TabWidget.__contextMenuDebugScript" />
@@ -18229,6 +18235,7 @@
       <keyword name="ViewManager.__toggleBookmark" id="ViewManager.__toggleBookmark" ref="eric7.ViewManager.ViewManager.html#ViewManager.__toggleBookmark" />
       <keyword name="ViewManager.__toggleCurrent" id="ViewManager.__toggleCurrent" ref="eric7.ViewManager.ViewManager.html#ViewManager.__toggleCurrent" />
       <keyword name="ViewManager.__unhighlight" id="ViewManager.__unhighlight" ref="eric7.ViewManager.ViewManager.html#ViewManager.__unhighlight" />
+      <keyword name="ViewManager.__watchedFileChanged" id="ViewManager.__watchedFileChanged" ref="eric7.ViewManager.ViewManager.html#ViewManager.__watchedFileChanged" />
       <keyword name="ViewManager.__zoom" id="ViewManager.__zoom" ref="eric7.ViewManager.ViewManager.html#ViewManager.__zoom" />
       <keyword name="ViewManager.__zoomIn" id="ViewManager.__zoomIn" ref="eric7.ViewManager.ViewManager.html#ViewManager.__zoomIn" />
       <keyword name="ViewManager.__zoomOut" id="ViewManager.__zoomOut" ref="eric7.ViewManager.ViewManager.html#ViewManager.__zoomOut" />
@@ -18248,6 +18255,7 @@
       <keyword name="ViewManager.addSplit" id="ViewManager.addSplit" ref="eric7.ViewManager.ViewManager.html#ViewManager.addSplit" />
       <keyword name="ViewManager.addToExtrasMenu" id="ViewManager.addToExtrasMenu" ref="eric7.ViewManager.ViewManager.html#ViewManager.addToExtrasMenu" />
       <keyword name="ViewManager.addToRecentList" id="ViewManager.addToRecentList" ref="eric7.ViewManager.ViewManager.html#ViewManager.addToRecentList" />
+      <keyword name="ViewManager.addWatchedFilePath" id="ViewManager.addWatchedFilePath" ref="eric7.ViewManager.ViewManager.html#ViewManager.addWatchedFilePath" />
       <keyword name="ViewManager.appFocusChanged" id="ViewManager.appFocusChanged" ref="eric7.ViewManager.ViewManager.html#ViewManager.appFocusChanged" />
       <keyword name="ViewManager.canCascade" id="ViewManager.canCascade" ref="eric7.ViewManager.ViewManager.html#ViewManager.canCascade" />
       <keyword name="ViewManager.canSplit" id="ViewManager.canSplit" ref="eric7.ViewManager.ViewManager.html#ViewManager.canSplit" />
@@ -18277,6 +18285,7 @@
       <keyword name="ViewManager.getNumber" id="ViewManager.getNumber" ref="eric7.ViewManager.ViewManager.html#ViewManager.getNumber" />
       <keyword name="ViewManager.getOpenEditor" id="ViewManager.getOpenEditor" ref="eric7.ViewManager.ViewManager.html#ViewManager.getOpenEditor" />
       <keyword name="ViewManager.getOpenEditorCount" id="ViewManager.getOpenEditorCount" ref="eric7.ViewManager.ViewManager.html#ViewManager.getOpenEditorCount" />
+      <keyword name="ViewManager.getOpenEditorList" id="ViewManager.getOpenEditorList" ref="eric7.ViewManager.ViewManager.html#ViewManager.getOpenEditorList" />
       <keyword name="ViewManager.getOpenEditors" id="ViewManager.getOpenEditors" ref="eric7.ViewManager.ViewManager.html#ViewManager.getOpenEditors" />
       <keyword name="ViewManager.getOpenEditorsCount" id="ViewManager.getOpenEditorsCount" ref="eric7.ViewManager.ViewManager.html#ViewManager.getOpenEditorsCount" />
       <keyword name="ViewManager.getOpenEditorsForSession" id="ViewManager.getOpenEditorsForSession" ref="eric7.ViewManager.ViewManager.html#ViewManager.getOpenEditorsForSession" />
@@ -18321,6 +18330,7 @@
       <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.removeWatchedFilePath" id="ViewManager.removeWatchedFilePath" ref="eric7.ViewManager.ViewManager.html#ViewManager.removeWatchedFilePath" />
       <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" />