Plugins/ViewManagerPlugins/Tabview/Tabview.py

changeset 1356
16e55845cff0
parent 1299
fd5d21389d2b
child 1358
c1622c708cd9
--- a/Plugins/ViewManagerPlugins/Tabview/Tabview.py	Sun Oct 02 20:06:38 2011 +0200
+++ b/Plugins/ViewManagerPlugins/Tabview/Tabview.py	Mon Oct 03 12:51:39 2011 +0200
@@ -928,6 +928,8 @@
             tw.setTabIcon(index, UI.PixmapCache.getIcon("syntaxError.png"))
         elif editor.hasFlakesWarnings():
             tw.setTabIcon(index, UI.PixmapCache.getIcon("warning.png"))
+        elif editor.isModified():
+            tw.setTabIcon(index, UI.PixmapCache.getIcon("fileModified.png"))
         else:
             tw.setTabIcon(index, UI.PixmapCache.getIcon("empty.png"))
         

eric ide

mercurial