hotCorner modification breaks official apps-menu extension
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
gnome-shell-extensions (Ubuntu) |
In Progress
|
Low
|
Unassigned |
Bug Description
https:/
---
Ubuntu 17.10 x64
Activities Overview Hot Corner disabled using Gnome Tweaks
When hot corners are disabled, the official Gnome Extension "Applications Menu"
(https:/
(https:/
Changed in gnome-shell: | |
importance: | Unknown → Low |
status: | Unknown → Confirmed |
Changed in gnome-shell: | |
status: | Confirmed → Expired |
Changed in gnome-shell-extensions (Ubuntu): | |
assignee: | Denis Gorodnichev (d-g) → nobody |
Unsure what we can do if upstream is not wanting to update their extension to handle that case well just to make a point, maybe somebody should create a new one including the suggested change?