[Bug 1725941] Re: hotCorner modification breaks official apps-menu extension
Daniel van Vugt
daniel.van.vugt at canonical.com
Fri Nov 23 01:59:01 UTC 2018
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
More information about the Ubuntu-sponsors
mailing list