diff options
| author | Javier <dev.git@javispedro.com> | 2014-05-23 00:50:58 +0200 |
|---|---|---|
| committer | Javier <dev.git@javispedro.com> | 2014-05-23 00:50:58 +0200 |
| commit | 9eec47cab5eb3a0e45a18da1f0e4650e10ea73e3 (patch) | |
| tree | d9672f87d844b3920af73bb8b82a6cf9f8acb47f | |
| parent | 06567c7ae02f45ba86ba39a876fb20df9c666ec8 (diff) | |
| download | topmenu-mozilla-9eec47cab5eb3a0e45a18da1f0e4650e10ea73e3.tar.gz topmenu-mozilla-9eec47cab5eb3a0e45a18da1f0e4650e10ea73e3.zip | |
specifically use gtk2 version of lib
| -rw-r--r-- | chrome/content/topmenu-client.js | 2 |
1 files changed, 1 insertions, 1 deletions
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); |