Plugins/ViewManagerPlugins/Listspace/Listspace.py

changeset 1356
16e55845cff0
parent 1299
fd5d21389d2b
child 1358
c1622c708cd9
equal deleted inserted replaced
1353:e1c0af081a8e 1356:16e55845cff0
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)

eric ide

mercurial