[gnome-shell-extensions] apps-menu: Remove some obsolete code

[Florian Müllner <fmuellner src gnome org>]

commit 8b89840e2b6bb6d67e9fc21122b6b04297ddefe3
Author: Florian Müllner <fmuellner gnome org>
Date:   Fri Jun 19 18:18:30 2015 +0200

    apps-menu: Remove some obsolete code
    
    The hot corner code has been modifying the existing hot corner rather
    than replacing it with a custom one for quite a while now ...

 extensions/apps-menu/extension.js |   18 ------------------
 1 files changed, 0 insertions(+), 18 deletions(-)
---
diff --git a/extensions/apps-menu/extension.js b/extensions/apps-menu/extension.js
index 9d2a86a..0c7e6c6 100644
--- a/extensions/apps-menu/extension.js
+++ b/extensions/apps-menu/extension.js
@@ -12,7 +12,6 @@ const PopupMenu = imports.ui.popupMenu;
 const Gtk = imports.gi.Gtk;
 const GLib = imports.gi.GLib;
 const Signals = imports.signals;
-const Layout = imports.ui.layout;
 const Pango = imports.gi.Pango;
 
 const Gettext = imports.gettext.domain('gnome-shell-extensions');
@@ -203,23 +202,6 @@ const CategoryMenuItem = new Lang.Class({
     }
 });
 
-const HotCorner = new Lang.Class({
-    Name: 'HotCorner',
-    Extends: Layout.HotCorner,
-
-    _onCornerEntered : function() {
-        if (!this._entered) {
-            this._entered = true;
-            if (!Main.overview.animationInProgress) {
-                this._activationTime = Date.now() / 1000;
-                this.rippleAnimation();
-                Main.overview.toggle();
-            }
-        }
-        return false;
-    }
-});
-
 const ApplicationsMenu = new Lang.Class({
     Name: 'ApplicationsMenu',
     Extends: PopupMenu.PopupMenu,