--- a/Plugins/ViewManagerPlugins/Tabview/Tabview.py Sat Nov 02 11:55:46 2013 +0100 +++ b/Plugins/ViewManagerPlugins/Tabview/Tabview.py Wed Nov 06 19:23:06 2013 +0100 @@ -1002,7 +1002,7 @@ tw.setTabIcon(index, UI.PixmapCache.getIcon("fileModified.png")) elif editor.hasSyntaxErrors(): tw.setTabIcon(index, UI.PixmapCache.getIcon("syntaxError.png")) - elif editor.hasFlakesWarnings(): + elif editor.hasWarnings(): tw.setTabIcon(index, UI.PixmapCache.getIcon("warning.png")) else: tw.setTabIcon(index, UI.PixmapCache.getIcon("empty.png")) @@ -1020,7 +1020,7 @@ index = tw.indexOf(editor) if editor.hasSyntaxErrors(): tw.setTabIcon(index, UI.PixmapCache.getIcon("syntaxError.png")) - elif editor.hasFlakesWarnings(): + elif editor.hasWarnings(): tw.setTabIcon(index, UI.PixmapCache.getIcon("warning.png")) elif editor.isModified(): tw.setTabIcon(index, UI.PixmapCache.getIcon("fileModified.png"))