From 371c278874c8ad28b608c9df78aa9759013701c1 Mon Sep 17 00:00:00 2001 From: Denis Gorodnichev Date: Fri, 23 Nov 2018 14:01:13 +0300 Subject: [PATCH] display application menu when no hotCorner application menu is unfunctional when hotCorner is undefined, for example after applying path https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/45 --- extensions/apps-menu/extension.js | 16 ++++++++++------ 1 file changed, 10 insertions(+), 6 deletions(-) diff --git a/extensions/apps-menu/extension.js b/extensions/apps-menu/extension.js index adc77a4..055cd00 100644 --- a/extensions/apps-menu/extension.js +++ b/extensions/apps-menu/extension.js @@ -240,17 +240,21 @@ class ApplicationsMenu extends PopupMenu.PopupMenu { } open(animate) { - this._button.hotCorner.setBarrierSize(0); - if (this._button.hotCorner.actor) // fallback corner - this._button.hotCorner.actor.hide(); + if (this._button.hotCorner) { + this._button.hotCorner.setBarrierSize(0); + if (this._button.hotCorner.actor) // fallback corner + this._button.hotCorner.actor.hide(); + } super.open(animate); } close(animate) { let size = Main.layoutManager.panelBox.height; - this._button.hotCorner.setBarrierSize(size); - if (this._button.hotCorner.actor) // fallback corner - this._button.hotCorner.actor.show(); + if (this._button.hotCorner) { + this._button.hotCorner.setBarrierSize(size); + if (this._button.hotCorner.actor) // fallback corner + this._button.hotCorner.actor.show(); + } super.close(animate); } -- GitLab