--- a/Plugins/ViewManagerPlugins/Tabview/Tabview.py Sat Jan 30 16:07:16 2010 +0000 +++ b/Plugins/ViewManagerPlugins/Tabview/Tabview.py Sat Jan 30 18:37:18 2010 +0000 @@ -871,6 +871,8 @@ tw.setTabIcon(index, UI.PixmapCache.getIcon("fileModified.png")) elif editor.hasSyntaxErrors(): tw.setTabIcon(index, UI.PixmapCache.getIcon("syntaxError.png")) + elif editor.hasFlakesWarnings(): + tw.setTabIcon(index, UI.PixmapCache.getIcon("warning.png")) else: tw.setTabIcon(index, UI.PixmapCache.getIcon("empty.png")) self._checkActions(editor) @@ -887,6 +889,8 @@ index = tw.indexOf(editor) if editor.hasSyntaxErrors(): tw.setTabIcon(index, UI.PixmapCache.getIcon("syntaxError.png")) + elif editor.hasFlakesWarnings(): + tw.setTabIcon(index, UI.PixmapCache.getIcon("warning.png")) else: tw.setTabIcon(index, UI.PixmapCache.getIcon("empty.png")) @@ -1095,4 +1099,4 @@ for tw in self.tabWidgets: if id(tw) == id_: return tw - return None \ No newline at end of file + return None