From f9ae8dd13f03dfd15b601795db42a1f0bad545ab Mon Sep 17 00:00:00 2001 From: Stefano Ciancio Date: Mon, 1 Sep 2014 16:48:48 +0200 Subject: [PATCH] Gnome 3.12 --- search.js | 18 +++++++++++++++--- 1 file changed, 15 insertions(+), 3 deletions(-) diff --git a/search.js b/search.js index 2c103fa..6079f9c 100644 --- a/search.js +++ b/search.js @@ -16,6 +16,9 @@ // License along with this library; if not, write to the Free Software // Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA +const St = imports.gi.St; +const Gio = imports.gi.Gio; + const Shell = imports.gi.Shell; const Util = imports.misc.util; const Lang = imports.lang; @@ -67,14 +70,16 @@ const SshSearchProvider = new Lang.Class({ getResultMetas: function(resultIds, callback) { let metas = []; + let app = null; for (let i=0; i