Mercurial Repositories > eric / file comparison
comparison: src/eric7/ViewManager/ViewManager.py
src/eric7/ViewManager/ViewManager.py
- branch
- eric7
- changeset 10394
- 056d1b2cd3c4
- parent 10389
- b432544fe075
- child 10436
- f6881d10e995
equal
deleted
inserted
replaced
| 10393:434e1b0bc49e | 10394:056d1b2cd3c4 |
|---|---|
| 7871 Public method to remove a file from the list of monitored files. | 7871 Public method to remove a file from the list of monitored files. |
| 7872 | 7872 |
| 7873 @param filePath path of the file to be removed | 7873 @param filePath path of the file to be removed |
| 7874 @type str | 7874 @type str |
| 7875 """ | 7875 """ |
| 7876 if ( | 7876 if self.getOpenEditorCount( |
| 7877 self.getOpenEditorCount(filePath) == 0 | 7877 filePath |
| 7878 and FileSystemUtilities.isPlainFileName(filePath) | 7878 ) == 0 and FileSystemUtilities.isPlainFileName(filePath): |
| 7879 ): | |
| 7880 self.__watcher.removePath(filePath) | 7879 self.__watcher.removePath(filePath) |
| 7881 | 7880 |
| 7882 ################################################################## | 7881 ################################################################## |
| 7883 ## Below are protected utility methods | 7882 ## Below are protected utility methods |
| 7884 ################################################################## | 7883 ################################################################## |
