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

[Daniel van Vugt]

Denis,

Please propose your fix to the developers here:

  https://gitlab.gnome.org/GNOME/gnome-shell-extensions

** Package changed: gnome-shell (Ubuntu) => gnome-shell-extensions
(Ubuntu)

** Changed in: gnome-shell-extensions (Ubuntu)
       Status: New => In Progress

** Changed in: gnome-shell-extensions (Ubuntu)
     Assignee: (unassigned) => Denis Gorodnichev (d-g)

-- 
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:
  Expired
Status in gnome-shell-extensions package in Ubuntu:
  In Progress

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