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
The attachment "hotcorner.patch" seems to be a patch. If it isn't,
please remove the "patch" flag from the attachment, remove the "patch"
tag, and if you are a member of the ~ubuntu-reviewers, unsubscribe the
team.
[This is an automated message performed by a Launchpad user owned by
~brian-murray
** Patch added: "hotcorner.patch"
https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1725941/+attachment/5215275/+files/hotcorner.patch
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.
https://bugs.lau
introduced by optional-hot-corner.patch
fix:
diff --git a/extensions/apps-menu/extension.js
b/extensions/apps-menu/extension.js
index adc77a4..939a07c 100644
--- a/extensions/apps-menu/extension.js
+++ b/extensions/apps-menu/extension.js
@@ -240,17 +240,21 @@ class ApplicationsMenu extends Popup
** Changed in: gnome-shell
Status: Confirmed => Expired
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1725941
Title:
hotCorner modification breaks official apps-menu ex
Someone could always attempt a proper fix and propose it upstream. If
upstream don't have to do the work then they might be more accepting of
a fix.
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.
https://bugs.la
The issue appears to stem from the Main.layoutManager.hotCorners[] array being
empty when hot corners are disabled:
https://git.gnome.org/browse/gnome-shell-extensions/tree/extensions/apps-menu/extension.js?id=01893ca0485806f181d0401b7a6347a4adaa71de#n483
Would it be possible to leave the Main.la
In fact, I'm not sure if this is this a bug with gnome-shell or with
gnome-tweak-tool and the method it uses to disable hot corners.
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs
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?
** Changed in: gnome-shell (Ubuntu)
Importance: Undecided => Low
--
You received this bug notificati
** Changed in: gnome-shell
Status: Unknown => Confirmed
** Changed in: gnome-shell
Importance: Unknown => Low
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1725941
Ti
** Bug watch added: GNOME Bug Tracker #712625
https://bugzilla.gnome.org/show_bug.cgi?id=712625
** Also affects: gnome-shell via
https://bugzilla.gnome.org/show_bug.cgi?id=712625
Importance: Unknown
Status: Unknown
--
You received this bug notification because you are a member of
11 matches
Mail list logo