[Pkg-ocaml-maint-commits] [SCM] cameleon packaging branch, master, updated. debian/1.9.20-1-8-g3c03194

[Stephane Glondu]

The following commit has been merged in the master branch:
commit a4ab058c34c8d8b20026919313843685092c145b
Author: Stephane Glondu <steph at glondu.net>
Date:   Sun Sep 11 16:46:58 2011 +0200

    Remove call to GtkThread.set_do_jobs_delay

diff --git a/debian/patches/0003-Remove-call-to-GtkThread.set_do_jobs_delay.patch b/debian/patches/0003-Remove-call-to-GtkThread.set_do_jobs_delay.patch
new file mode 100644
index 0000000..5063dc5
--- /dev/null
+++ b/debian/patches/0003-Remove-call-to-GtkThread.set_do_jobs_delay.patch
@@ -0,0 +1,26 @@
+From: Stephane Glondu <steph at glondu.net>
+Date: Sun, 11 Sep 2011 16:45:25 +0200
+Subject: Remove call to GtkThread.set_do_jobs_delay
+
+This function is present in lablgtk's git, but not in latest release
+2.14.2.
+
+Forwarded: no
+Signed-off-by: Stephane Glondu <steph at glondu.net>
+---
+ src/editor/ed_main.ml |    1 -
+ 1 files changed, 0 insertions(+), 1 deletions(-)
+
+diff --git a/src/editor/ed_main.ml b/src/editor/ed_main.ml
+index 6a20ecf..b958b35 100644
+--- a/src/editor/ed_main.ml
++++ b/src/editor/ed_main.ml
+@@ -75,7 +75,6 @@ let main () =
+      in
+      Cam_hooks.warning_message (Ed_misc.to_utf8 m);
+     );
+-  GtkThread.set_do_jobs_delay 0.02;
+   GtkThread.main ();
+   Ed_view.iter_factories
+     (fun f -> Ed_misc.catch_print_exceptions (fun () -> f#on_exit) ());
+-- 
diff --git a/debian/patches/series b/debian/patches/series
index 80e86f7..d336419 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,2 +1,3 @@
 0001-Don-t-try-to-extract-documentation-from-internal-hea.patch
 0002-Fix-detection-of-lablgtk-extras.patch
+0003-Remove-call-to-GtkThread.set_do_jobs_delay.patch

-- 
cameleon packaging