Plugins/ViewManagerPlugins/Tabview/Tabview.py

changeset 1356
16e55845cff0
parent 1299
fd5d21389d2b
child 1358
c1622c708cd9
equal deleted inserted replaced
1353:e1c0af081a8e 1356:16e55845cff0
926 index = tw.indexOf(editor) 926 index = tw.indexOf(editor)
927 if editor.hasSyntaxErrors(): 927 if editor.hasSyntaxErrors():
928 tw.setTabIcon(index, UI.PixmapCache.getIcon("syntaxError.png")) 928 tw.setTabIcon(index, UI.PixmapCache.getIcon("syntaxError.png"))
929 elif editor.hasFlakesWarnings(): 929 elif editor.hasFlakesWarnings():
930 tw.setTabIcon(index, UI.PixmapCache.getIcon("warning.png")) 930 tw.setTabIcon(index, UI.PixmapCache.getIcon("warning.png"))
931 elif editor.isModified():
932 tw.setTabIcon(index, UI.PixmapCache.getIcon("fileModified.png"))
931 else: 933 else:
932 tw.setTabIcon(index, UI.PixmapCache.getIcon("empty.png")) 934 tw.setTabIcon(index, UI.PixmapCache.getIcon("empty.png"))
933 935
934 ViewManager._syntaxErrorToggled(self, editor) 936 ViewManager._syntaxErrorToggled(self, editor)
935 937

eric ide

mercurial