introduced by optional-hot-corner.patch
fix:
diff --git a/extensions/apps-menu/extension.js
b/extensions/apps-menu/extension.js
index adc77a4..939a07c 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();
- super.open(animate);
+ 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);
}
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1725941
Title:
hotCorner modification breaks official apps-menu extension
Status in GNOME Shell:
Expired
Status in gnome-shell package in Ubuntu:
New
Bug description:
Ubuntu 17.10 x64
Activities Overview Hot Corner disabled using Gnome Tweaks
When hot corners are disabled, the official Gnome Extension "Applications
Menu"
(https://extensions.gnome.org/extension/6/applications-menu/) is broken --
error shows when attempting to enable extensions and clicking menu does
nothing. A small fix to the extension was suggested to the developer "Apps-menu
crashes when there is no hotcorner"
(https://bugzilla.gnome.org/show_bug.cgi?id=712625) but his response is that
this problem does not fall in his court, at least while "dconf config option
for disabling the activities hot corner"
(https://bugzilla.gnome.org/show_bug.cgi?id=688320) is still open.
To manage notifications about this bug go to:
https://bugs.launchpad.net/gnome-shell/+bug/1725941/+subscriptions
--
Mailing list: https://launchpad.net/~desktop-packages
Post to : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help : https://help.launchpad.net/ListHelp
