diff options
author | 2018-03-12 18:20:24 -0400 | |
---|---|---|
committer | 2018-03-12 18:20:24 -0400 | |
commit | ec391b6bfe8d87f4fb1bbb2a4e6033eaad9f4672 (patch) | |
tree | 3e465bb700187ef104363c31525a73a4147c0edb /src/scintilla_backports/6095_ae52e0c68190.patch | |
parent | f82726891b4cd2f323ce882e5aa6d71227dda887 (diff) | |
download | textadept-ec391b6bfe8d87f4fb1bbb2a4e6033eaad9f4672.tar.gz textadept-ec391b6bfe8d87f4fb1bbb2a4e6033eaad9f4672.zip |
Start using Scintilla's LongTerm3, which now includes Scintillua and Scinterm.
Since LongTerm3 requires a C++11 compiler, GCC 4.9+ is required.
Since C++11 includes regex capability, drop TRE dependency.
Diffstat (limited to 'src/scintilla_backports/6095_ae52e0c68190.patch')
-rw-r--r-- | src/scintilla_backports/6095_ae52e0c68190.patch | 43 |
1 files changed, 0 insertions, 43 deletions
diff --git a/src/scintilla_backports/6095_ae52e0c68190.patch b/src/scintilla_backports/6095_ae52e0c68190.patch deleted file mode 100644 index f30f40dc..00000000 --- a/src/scintilla_backports/6095_ae52e0c68190.patch +++ /dev/null @@ -1,43 +0,0 @@ -# HG changeset patch -# User Colomban Wendling <ban@herbesfolles.org> -# Date 1487714930 -3600 -# Node ID ae52e0c68190d423505624ae1d26e442e015d48f -# Parent 966f25e2241058f45500025b0a8e8ed4cae10ee7 -Bug [#1901]. GTK: Fix double scrolling under X11 - -Really restrict smooth scrolling handling to Wayland. - -diff -r 966f25e22410 -r ae52e0c68190 doc/ScintillaHistory.html ---- a/doc/ScintillaHistory.html Sun Feb 19 14:13:46 2017 +1100 -+++ b/doc/ScintillaHistory.html Tue Feb 21 23:08:50 2017 +0100 -@@ -520,6 +520,18 @@ - </li> - </ul> - <h3> -+ <a href="http://www.scintilla.org/scite374.zip">Release 3.7.4</a> -+ </h3> -+ <ul> -+ <li> -+ Released 19 February 2017. -+ </li> -+ <li> -+ Fix to prevent double scrolling on GTK+ with X11. -+ <a href="http://sourceforge.net/p/scintilla/bugs/1901/">Bug #1901</a>. -+ </li> -+ </ul> -+ <h3> - <a href="http://www.scintilla.org/scite373.zip">Release 3.7.3</a> - </h3> - <ul> -diff -r 966f25e22410 -r ae52e0c68190 gtk/ScintillaGTK.cxx ---- a/gtk/ScintillaGTK.cxx Sun Feb 19 14:13:46 2017 +1100 -+++ b/gtk/ScintillaGTK.cxx Tue Feb 21 23:08:50 2017 +0100 -@@ -1801,7 +1801,7 @@ - return FALSE; - - #if defined(GDK_WINDOWING_WAYLAND) -- if (event->direction == GDK_SCROLL_SMOOTH) { -+ if (event->direction == GDK_SCROLL_SMOOTH && GDK_IS_WAYLAND_WINDOW(event->window)) { - const int smoothScrollFactor = 4; - sciThis->smoothScrollY += event->delta_y * smoothScrollFactor; - sciThis->smoothScrollX += event->delta_x * smoothScrollFactor;; |