Plugins/ViewManagerPlugins/Tabview/Tabview.py

changeset 88
3701923bccf2
parent 55
b5c84934de9c
child 248
f4561c24989a
--- 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

eric ide

mercurial