diff -r 434e1b0bc49e -r 056d1b2cd3c4 src/eric7/ViewManager/ViewManager.py --- a/src/eric7/ViewManager/ViewManager.py Thu Dec 07 10:32:10 2023 +0100 +++ b/src/eric7/ViewManager/ViewManager.py Thu Dec 07 10:40:05 2023 +0100 @@ -7873,10 +7873,9 @@ @param filePath path of the file to be removed @type str """ - if ( - self.getOpenEditorCount(filePath) == 0 - and FileSystemUtilities.isPlainFileName(filePath) - ): + if self.getOpenEditorCount( + filePath + ) == 0 and FileSystemUtilities.isPlainFileName(filePath): self.__watcher.removePath(filePath) ##################################################################