Mercurial Repositories > eric / file comparison
comparison: Plugins/ViewManagerPlugins/Tabview/Tabview.py
Plugins/ViewManagerPlugins/Tabview/Tabview.py
- changeset 3062
- 9de9373da5bb
- parent 3037
- a417a0670a36
- child 3080
- 6c0a430b19df
- child 3100
- 1c86bf655433
equal
deleted
inserted
replaced
| 3059:16c93928cfc5 | 3062:9de9373da5bb |
|---|---|
| 1000 index = tw.indexOf(editor) | 1000 index = tw.indexOf(editor) |
| 1001 if m: | 1001 if m: |
| 1002 tw.setTabIcon(index, UI.PixmapCache.getIcon("fileModified.png")) | 1002 tw.setTabIcon(index, UI.PixmapCache.getIcon("fileModified.png")) |
| 1003 elif editor.hasSyntaxErrors(): | 1003 elif editor.hasSyntaxErrors(): |
| 1004 tw.setTabIcon(index, UI.PixmapCache.getIcon("syntaxError.png")) | 1004 tw.setTabIcon(index, UI.PixmapCache.getIcon("syntaxError.png")) |
| 1005 elif editor.hasFlakesWarnings(): | 1005 elif editor.hasWarnings(): |
| 1006 tw.setTabIcon(index, UI.PixmapCache.getIcon("warning.png")) | 1006 tw.setTabIcon(index, UI.PixmapCache.getIcon("warning.png")) |
| 1007 else: | 1007 else: |
| 1008 tw.setTabIcon(index, UI.PixmapCache.getIcon("empty.png")) | 1008 tw.setTabIcon(index, UI.PixmapCache.getIcon("empty.png")) |
| 1009 self._checkActions(editor) | 1009 self._checkActions(editor) |
| 1010 | 1010 |
| 1018 if tw.hasEditor(editor): | 1018 if tw.hasEditor(editor): |
| 1019 break | 1019 break |
| 1020 index = tw.indexOf(editor) | 1020 index = tw.indexOf(editor) |
| 1021 if editor.hasSyntaxErrors(): | 1021 if editor.hasSyntaxErrors(): |
| 1022 tw.setTabIcon(index, UI.PixmapCache.getIcon("syntaxError.png")) | 1022 tw.setTabIcon(index, UI.PixmapCache.getIcon("syntaxError.png")) |
| 1023 elif editor.hasFlakesWarnings(): | 1023 elif editor.hasWarnings(): |
| 1024 tw.setTabIcon(index, UI.PixmapCache.getIcon("warning.png")) | 1024 tw.setTabIcon(index, UI.PixmapCache.getIcon("warning.png")) |
| 1025 elif editor.isModified(): | 1025 elif editor.isModified(): |
| 1026 tw.setTabIcon(index, UI.PixmapCache.getIcon("fileModified.png")) | 1026 tw.setTabIcon(index, UI.PixmapCache.getIcon("fileModified.png")) |
| 1027 else: | 1027 else: |
| 1028 tw.setTabIcon(index, UI.PixmapCache.getIcon("empty.png")) | 1028 tw.setTabIcon(index, UI.PixmapCache.getIcon("empty.png")) |
