diff options
Diffstat (limited to 'src/scintilla_backports/6133_30f1573f17ac.patch')
| -rw-r--r-- | src/scintilla_backports/6133_30f1573f17ac.patch | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/src/scintilla_backports/6133_30f1573f17ac.patch b/src/scintilla_backports/6133_30f1573f17ac.patch deleted file mode 100644 index a69f2c14..00000000 --- a/src/scintilla_backports/6133_30f1573f17ac.patch +++ /dev/null @@ -1,19 +0,0 @@ -# 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; |