[Bug 1725941] [NEW] hotCorner modification breaks official apps-menu extension

[Launchpad Bug Tracker]

You have been subscribed to a public bug by Sebastien Bacher (seb128):

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.

** Affects: gnome-shell
     Importance: Low
         Status: Expired

** Affects: gnome-shell (Ubuntu)
     Importance: Low
         Status: New


** Tags: extensions patch
-- 
hotCorner modification breaks official apps-menu extension
https://bugs.launchpad.net/bugs/1725941
You received this bug notification because you are a member of Ubuntu Sponsors Team, which is subscribed to the bug report.