The issue appears to stem from the Main.layoutManager.hotCorners[] array being 
empty when hot corners are disabled:
https://git.gnome.org/browse/gnome-shell-extensions/tree/extensions/apps-menu/extension.js?id=01893ca0485806f181d0401b7a6347a4adaa71de#n483

Would it be possible to leave the Main.layoutManager.hotCorners[] array
defined and disable the activity overview by substituting no-op
functions for actions? This is how the "No Topleft Hot Corner" extension
works:
https://github.com/HROMANO/nohotcorner/blob/f02c0398fe59202ba01b35ae04f8fe1fb46008e1/extension.js#L7

-- 
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1725941

Title:
  hotCorner modification breaks official apps-menu extension

To manage notifications about this bug go to:
https://bugs.launchpad.net/gnome-shell/+bug/1725941/+subscriptions

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

Reply via email to