main: Remove some cruft

Main.hotCorners has been empty for a long, long time. https://bugzilla.gnome.org/show_bug.cgi?id=683156
2012-09-02 20:51:53 -03:00 · 2012-09-02 20:51:53 -03:00 · b257029d3e
commit b257029d3e
parent cb9062f818
1 changed files with 0 additions and 1 deletions
--- a/js/ui/main.js
+++ b/js/ui/main.js
@ -48,7 +48,6 @@ const DEFAULT_BACKGROUND_COLOR = Clutter.Color.from_pixel(0x2266bbff);
 let automountManager = null;
 let autorunManager = null;
 let panel = null;
-let hotCorners = [];
 let overview = null;
 let runDialog = null;
 let lookingGlass = null;