diff options
Diffstat (limited to 'src/scintilla_backports/6133_30f1573f17ac.patch')
| -rw-r--r-- | src/scintilla_backports/6133_30f1573f17ac.patch | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/src/scintilla_backports/6133_30f1573f17ac.patch b/src/scintilla_backports/6133_30f1573f17ac.patch new file mode 100644 index 00000000..a69f2c14 --- /dev/null +++ b/src/scintilla_backports/6133_30f1573f17ac.patch @@ -0,0 +1,19 @@ +# HG changeset patch +# User Neil <nyamatongwe@gmail.com> +# Date 1489632019 -39600 +# Node ID 30f1573f17ace82fd1adba69e733c4726f68e867 +# Parent 6cf19f2bf214b1d1dc0ba05412a6659142c772ec +Fix 1 pixel unpainted as background. + +diff -r 6cf19f2bf214 -r 30f1573f17ac src/EditView.cxx +--- a/src/EditView.cxx Thu Mar 16 13:39:37 2017 +1100 ++++ b/src/EditView.cxx Thu Mar 16 13:40:19 2017 +1100 +@@ -1111,7 +1111,7 @@ + + // Fill Remainder of the line + PRectangle rcRemainder = rcSegment; +- rcRemainder.left = rcRemainder.right + 1; ++ rcRemainder.left = rcRemainder.right; + if (rcRemainder.left < rcLine.left) + rcRemainder.left = rcLine.left; + rcRemainder.right = rcLine.right; |