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

[Daniel van Vugt]

Denis,

Please reformat your patch (or the upstream one 
https://gitlab.gnome.org/GNOME/gnome-shell-extensions/merge_requests/7.patch), and reformat this bug, according to the SRU guidelines:

  https://wiki.ubuntu.com/StableReleaseUpdates

-- 
You received this bug notification because you are a member of Ubuntu
Sponsors Team, which is subscribed to the bug report.
https://bugs.launchpad.net/bugs/1725941

Title:
  hotCorner modification breaks official apps-menu extension

Status in gnome-shell-extensions package in Ubuntu:
  In Progress

Bug description:
  https://gitlab.gnome.org/GNOME/gnome-shell-extensions/issues/6

  ---

  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/ubuntu/+source/gnome-shell-extensions/+bug/1725941/+subscriptions