Fri, 15 Jan 2010 11:54:21 +0000
Added marker for warnings (preparation for using pyflakes).
QScintilla/Editor.py | file | annotate | diff | comparison | revisions | |
icons/default/warning.png | file | annotate | diff | comparison | revisions |
--- a/QScintilla/Editor.py Fri Jan 15 11:40:53 2010 +0000 +++ b/QScintilla/Editor.py Fri Jan 15 11:54:21 2010 +0000 @@ -213,6 +213,8 @@ self.markerDefine(UI.PixmapCache.getPixmap("notcovered.png")) self.taskmarker = \ self.markerDefine(UI.PixmapCache.getPixmap("task.png")) + self.warning = \ + self.markerDefine(UI.PixmapCache.getPixmap("warning.png")) # define the line markers self.currentline = self.markerDefine(QsciScintilla.Background) @@ -3148,7 +3150,8 @@ (1 << self.bookmark) | \ (1 << self.syntaxerror) | \ (1 << self.notcovered) | \ - (1 << self.taskmarker) + (1 << self.taskmarker) | \ + (1 << self.warning) self.setMarginWidth(1, 16) self.setMarginSensitivity(1, True) self.setMarginMarkerMask(1, margin1Mask) @@ -3181,7 +3184,8 @@ marginIndicMask = (1 << self.syntaxerror) | \ (1 << self.notcovered) | \ - (1 << self.taskmarker) + (1 << self.taskmarker) | \ + (1 << self.warning) self.setMarginWidth(self.__indicMargin, 16) self.setMarginSensitivity(self.__indicMargin, True) self.setMarginMarkerMask(self.__indicMargin, marginIndicMask)