QScintilla/Editor.py

changeset 3859
a128a5940722
parent 3778
0c5bc18da740
child 3861
9489d1c4639d
--- a/QScintilla/Editor.py	Sat Oct 11 17:10:20 2014 +0200
+++ b/QScintilla/Editor.py	Sat Oct 11 18:47:47 2014 +0200
@@ -1944,6 +1944,9 @@
                     index2 = self.breakpointModel.index(index1.row(), 1)
                     self.breakpointModel.setData(index2, line)
                 self.inLinesChanged = False
+        elif mtype & self.SC_MOD_CHANGEANNOTATION:
+            vsb = self.verticalScrollBar()
+            vsb.setMaximum(vsb.maximum() + annotationLinesAdded)
         
     def __restoreBreakpoints(self):
         """

eric ide

mercurial