On Tue, 07 Mar 2023 at 10:33:33 +0000, Simon McVittie wrote:
> Would it be helpful for your use pattern if GNOME Shell had a specific
> keyboard shortcut to open the system menu, bypassing the need to navigate
> to the top bar first? I'm honestly surprised that it doesn't already: that
> seems like an omission.

I've opened <https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/6476>
for this.

> > I'd like to push back on the idea that sloppy focus is required.

Upstream issues that could be related, all of which seem to be regressions
somewhere around version 42:

* https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/5146
* https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/5270
* https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/5377

5270 and 5377 seem like maybe closer (or at least more specific) matches
for your experience than 5146, but it wouldn't surprise me if there's a
common root cause for all of these.

Unfortunately, nobody who is in a position to fix these has been able to
reproduce any of them.

    smcv

Reply via email to