brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

cleanup: Clean up unused imports

Browse Source 
Spotted by eslint.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/399
This commit is contained in:
Florian Müllner
2019-01-29 02:10:26 +01:00
parent 7484458b7c
commit a1534dab02
66 changed files with 0 additions and 121 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
js/ui/workspacesView.js
View File

@ -3,18 +3,13 @@
const Clutter = imports.gi.Clutter;
const Gio = imports.gi.Gio;
const GObject = imports.gi.GObject;
const Mainloop = imports.mainloop;
const Meta = imports.gi.Meta;
const Shell = imports.gi.Shell;
const St = imports.gi.St;
const Signals = imports.signals;
const DND = imports.ui.dnd;
const Main = imports.ui.main;
const Overview = imports.ui.overview;
const Tweener = imports.ui.tweener;
const Workspace = imports.ui.workspace;
const WorkspaceThumbnail = imports.ui.workspaceThumbnail;
var WORKSPACE_SWITCH_TIME = 0.25;