Plugins/ViewManagerPlugins/MdiArea/MdiArea.py

changeset 1356
16e55845cff0
parent 1112
8a7d1b9d18db
equal deleted inserted replaced
1353:e1c0af081a8e 1356:16e55845cff0
357 """ 357 """
358 if editor.hasSyntaxErrors(): 358 if editor.hasSyntaxErrors():
359 self.__setSubWindowIcon(editor, UI.PixmapCache.getIcon("syntaxError.png")) 359 self.__setSubWindowIcon(editor, UI.PixmapCache.getIcon("syntaxError.png"))
360 elif editor.hasFlakesWarnings(): 360 elif editor.hasFlakesWarnings():
361 self.__setSubWindowIcon(editor, UI.PixmapCache.getIcon("warning.png")) 361 self.__setSubWindowIcon(editor, UI.PixmapCache.getIcon("warning.png"))
362 elif editor.isModified():
363 self.__setSubWindowIcon(editor, UI.PixmapCache.getIcon("fileModified.png"))
362 else: 364 else:
363 self.__setSubWindowIcon(editor, UI.PixmapCache.getIcon("empty.png")) 365 self.__setSubWindowIcon(editor, UI.PixmapCache.getIcon("empty.png"))
364 366
365 ViewManager._syntaxErrorToggled(self, editor) 367 ViewManager._syntaxErrorToggled(self, editor)
366 368

eric ide

mercurial