926 index = tw.indexOf(editor) |
926 index = tw.indexOf(editor) |
927 if editor.hasSyntaxErrors(): |
927 if editor.hasSyntaxErrors(): |
928 tw.setTabIcon(index, UI.PixmapCache.getIcon("syntaxError.png")) |
928 tw.setTabIcon(index, UI.PixmapCache.getIcon("syntaxError.png")) |
929 elif editor.hasFlakesWarnings(): |
929 elif editor.hasFlakesWarnings(): |
930 tw.setTabIcon(index, UI.PixmapCache.getIcon("warning.png")) |
930 tw.setTabIcon(index, UI.PixmapCache.getIcon("warning.png")) |
|
931 elif editor.isModified(): |
|
932 tw.setTabIcon(index, UI.PixmapCache.getIcon("fileModified.png")) |
931 else: |
933 else: |
932 tw.setTabIcon(index, UI.PixmapCache.getIcon("empty.png")) |
934 tw.setTabIcon(index, UI.PixmapCache.getIcon("empty.png")) |
933 |
935 |
934 ViewManager._syntaxErrorToggled(self, editor) |
936 ViewManager._syntaxErrorToggled(self, editor) |
935 |
937 |