471 index = self.editors.index(editor) |
471 index = self.editors.index(editor) |
472 if editor.hasSyntaxErrors(): |
472 if editor.hasSyntaxErrors(): |
473 self.viewlist.item(index).setIcon(UI.PixmapCache.getIcon("syntaxError.png")) |
473 self.viewlist.item(index).setIcon(UI.PixmapCache.getIcon("syntaxError.png")) |
474 elif editor.hasFlakesWarnings(): |
474 elif editor.hasFlakesWarnings(): |
475 self.viewlist.item(index).setIcon(UI.PixmapCache.getIcon("warning.png")) |
475 self.viewlist.item(index).setIcon(UI.PixmapCache.getIcon("warning.png")) |
|
476 elif editor.isModified(): |
|
477 self.viewlist.item(index).setIcon(UI.PixmapCache.getIcon("fileModified.png")) |
476 else: |
478 else: |
477 self.viewlist.item(index).setIcon(UI.PixmapCache.getIcon("empty.png")) |
479 self.viewlist.item(index).setIcon(UI.PixmapCache.getIcon("empty.png")) |
478 self.viewlist.setCurrentRow(currentRow) |
480 self.viewlist.setCurrentRow(currentRow) |
479 |
481 |
480 ViewManager._syntaxErrorToggled(self, editor) |
482 ViewManager._syntaxErrorToggled(self, editor) |