diff -r cbbcecf9b25e -r 6f27d7bcfe56 src/eric7/ViewManager/ViewManager.py --- a/src/eric7/ViewManager/ViewManager.py Tue Dec 05 10:49:31 2023 +0100 +++ b/src/eric7/ViewManager/ViewManager.py Tue Dec 05 10:54:20 2023 +0100 @@ -7858,7 +7858,6 @@ @param filePath path of the file to be added @type str """ - # TODO: not yet implemented if filePath: self.__watcher.addPath(filePath) @@ -7869,7 +7868,6 @@ @param filePath path of the file to be removed @type str """ - # TODO: not yet implemented if self.getOpenEditorCount(filePath) == 0: self.__watcher.removePath(filePath)