** Changed in: gnome-shell-extensions (Ubuntu)
Assignee: Denis Gorodnichev (d-g) => (unassigned)
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1725941
Title:
hotCorner modification breaks offic
merge request https://gitlab.gnome.org/GNOME/gnome-shell-
extensions/merge_requests/48
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1725941
Title:
hotCorner modification breaks official apps-menu e
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
Note this is not an SRU. The fix needs to land in the latest development
release first (19.04).
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1725941
Title:
hotCorner modification breaks official ap
Also, the upstream bug report ID is gnome-shell-extensions#6
https://gitlab.gnome.org/GNOME/gnome-shell-extensions/issues/6
** Description changed:
+ https://gitlab.gnome.org/GNOME/gnome-shell-extensions/issues/6
+
+ ---
+
Ubuntu 17.10 x64
Activities Overview Hot Corner disabled using Gnom
Oh, upstream already has a fix proposed:
https://gitlab.gnome.org/GNOME/gnome-shell-extensions/merge_requests/7
** No longer affects: gnome-shell
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/172594
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
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1725941
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
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1725941
Title:
hotCorner modification breaks official apps-menu extension
To manage noti
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
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/172594
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
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1725941
Title:
hotC
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
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1725941
Title:
hotCorner modifi
** 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
17 matches
Mail list logo
