[SCM] zynjacku/master: 0010-external_gui_cleanup.patch: Call cleanup on the external GUI.

alessio at users.alioth.debian.org alessio at users.alioth.debian.org
Thu Feb 10 14:26:55 UTC 2011


The following commit has been merged in the master branch:
commit 61453a41b5f6f7a808310cc1bdfce50a9b0efece
Author: Alessio Treglia <alessio at debian.org>
Date:   Thu Feb 10 15:26:54 2011 +0100

    0010-external_gui_cleanup.patch: Call cleanup on the external GUI.

diff --git a/debian/patches/0010-external_gui_cleanup.patch b/debian/patches/0010-external_gui_cleanup.patch
new file mode 100644
index 0000000..b60e364
--- /dev/null
+++ b/debian/patches/0010-external_gui_cleanup.patch
@@ -0,0 +1,17 @@
+From: Krzysztof Foltman <wdev at foltman.com>
+Description: Call cleanup on the external GUI.
+Origin: upstream,commit:30adb679766ef6b162d12ace6899c4d6a9bc091e
+---
+ gtk2gui.c |    1 +
+ 1 file changed, 1 insertion(+)
+
+--- zynjacku.orig/gtk2gui.c
++++ zynjacku/gtk2gui.c
+@@ -344,6 +344,7 @@ zynjacku_gtk2gui_destroy(
+       ui_ptr->type == UI_TYPE_EXTERNAL)
+   {
+     LV2_EXTERNAL_UI_HIDE(ui_ptr->external_ui_control);
++    ui_ptr->lv2ui->cleanup(ui_ptr->ui_handle);
+   }
+ 
+   dlclose(ui_ptr->dlhandle);

-- 
zynjacku packaging



More information about the pkg-multimedia-commits mailing list