From c79314c9bd8efc6e521664bf4de182370c436c09 Mon Sep 17 00:00:00 2001 From: mitchell <70453897+667e-11@users.noreply.github.com> Date: Sat, 17 Jun 2017 18:09:23 -0400 Subject: Effectively updated to Scintilla 3.7.5 with select backports to 3.7.3. --- src/scintilla_backports/6176_20120f9d1698.patch | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 src/scintilla_backports/6176_20120f9d1698.patch (limited to 'src/scintilla_backports/6176_20120f9d1698.patch') diff --git a/src/scintilla_backports/6176_20120f9d1698.patch b/src/scintilla_backports/6176_20120f9d1698.patch new file mode 100644 index 00000000..2622c3a0 --- /dev/null +++ b/src/scintilla_backports/6176_20120f9d1698.patch @@ -0,0 +1,19 @@ +# HG changeset patch +# User Neil +# Date 1491606364 -36000 +# Node ID 20120f9d1698f2a5b36ca9fa2e01ed08fa9776fd +# Parent d742ec177a7eab50fa56cf453d32ed211f767365 +Use reference for efficiency. + +diff -r d742ec177a7e -r 20120f9d1698 src/Editor.cxx +--- a/src/Editor.cxx Fri Apr 07 19:44:59 2017 +1000 ++++ b/src/Editor.cxx Sat Apr 08 09:06:04 2017 +1000 +@@ -4301,7 +4301,7 @@ + const SelectionPosition pos = SPositionFromLocation(pt, false, true); + const Point ptPos = LocationFromPosition(pos); + for (size_t r=0; r