From 9eec47cab5eb3a0e45a18da1f0e4650e10ea73e3 Mon Sep 17 00:00:00 2001 From: Javier Date: Fri, 23 May 2014 00:50:58 +0200 Subject: specifically use gtk2 version of lib --- chrome/content/topmenu-client.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/chrome/content/topmenu-client.js b/chrome/content/topmenu-client.js index af8b1d2..f37e9e2 100644 --- a/chrome/content/topmenu-client.js +++ b/chrome/content/topmenu-client.js @@ -26,4 +26,4 @@ function defines(lib) { lib.lazy_bind("topmenu_monitor_is_topmenu_available", glib.gboolean, this.TopMenuMonitor.ptr); } -new ctypes_library("topmenu-client", [ 0 ], defines, this); +new ctypes_library("topmenu-client-gtk2", [ 0 ], defines, this); -- cgit v1.2.3