Plugins/ViewManagerPlugins/Tabview/Tabview.py

changeset 3062
9de9373da5bb
parent 3037
a417a0670a36
child 3080
6c0a430b19df
child 3100
1c86bf655433
--- 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"))

eric ide

mercurial