From 017c2468ee7210c7a3c748612deea056eb44e061 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Tue, 5 Aug 2014 22:50:11 +0200 Subject: [PATCH] popupMenu: Remove unused imports --- js/ui/popupMenu.js | 3 --- 1 file changed, 3 deletions(-) diff --git a/js/ui/popupMenu.js b/js/ui/popupMenu.js index 34986f733..470df0c24 100644 --- a/js/ui/popupMenu.js +++ b/js/ui/popupMenu.js @@ -1,9 +1,7 @@ // -*- mode: js; js-indent-level: 4; indent-tabs-mode: nil -*- const Clutter = imports.gi.Clutter; -const GLib = imports.gi.GLib; const Gtk = imports.gi.Gtk; -const Gio = imports.gi.Gio; const Lang = imports.lang; const Shell = imports.gi.Shell; const Signals = imports.signals; @@ -15,7 +13,6 @@ const GrabHelper = imports.ui.grabHelper; const Main = imports.ui.main; const Params = imports.misc.params; const Separator = imports.ui.separator; -const Slider = imports.ui.slider; const Tweener = imports.ui.tweener; const Ornament = {