Plugins/ViewManagerPlugins/MdiArea/MdiArea.py

changeset 1356
16e55845cff0
parent 1112
8a7d1b9d18db
--- a/Plugins/ViewManagerPlugins/MdiArea/MdiArea.py	Sun Oct 02 20:06:38 2011 +0200
+++ b/Plugins/ViewManagerPlugins/MdiArea/MdiArea.py	Mon Oct 03 12:51:39 2011 +0200
@@ -359,6 +359,8 @@
             self.__setSubWindowIcon(editor, UI.PixmapCache.getIcon("syntaxError.png"))
         elif editor.hasFlakesWarnings():
             self.__setSubWindowIcon(editor, UI.PixmapCache.getIcon("warning.png"))
+        elif editor.isModified():
+            self.__setSubWindowIcon(editor, UI.PixmapCache.getIcon("fileModified.png"))
         else:
             self.__setSubWindowIcon(editor, UI.PixmapCache.getIcon("empty.png"))
         

eric ide

mercurial