From 699550db6c4aad4d4f852694d7d6a100b790e839 Mon Sep 17 00:00:00 2001 From: mitchell <70453897+667e-11@users.noreply.github.com> Date: Wed, 20 Jan 2016 01:21:45 -0500 Subject: Updated to Scintilla 3.6.3 and enabled idle styling. Patched Scintilla to prevent warning on widget destroy. --- src/scintilla.patch | 12 ++++++++++++ 1 file changed, 12 insertions(+) (limited to 'src/scintilla.patch') diff --git a/src/scintilla.patch b/src/scintilla.patch index 3b30a825..a6111696 100644 --- a/src/scintilla.patch +++ b/src/scintilla.patch @@ -18,3 +18,15 @@ diff -r 5693714a8b0b src/Catalogue.cxx return 1; } +diff -r eb69b2b4bb85 gtk/ScintillaGTK.cxx +--- a/gtk/ScintillaGTK.cxx Mon Jan 18 09:02:53 2016 +1100 ++++ b/gtk/ScintillaGTK.cxx Wed Jan 20 00:52:11 2016 -0500 +@@ -3110,7 +3110,7 @@ + // of the signal handlers here (those that currently attached to wDraw + // in Initialise() may require coordinate translation?) + +- object_class->dispose = Dispose; ++ //object_class->dispose = Dispose; + object_class->finalize = Destroy; + #if GTK_CHECK_VERSION(3,0,0) + widget_class->get_preferred_width = GetPreferredWidth; -- cgit v1.2.3