Thomas Vogt

Fixed in GNOME (mutter) 3.38.2: https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/2973

The mouse-sensitivity is not implemented as a hover-event, but as a pressure barrier at the screen edge. This is usually a problem with multi-monitor setups, virtual machines, and remote desktops....

Thanks for your clear and short report! Since browsing the GNOME source code is a quite overwhelming experience, I doubt that I will find the "show notification list" action (or...

So, just dropping some references here: The toggle-message-tray signal is defined here: https://gitlab.gnome.org/GNOME/gnome-shell/-/blob/e90466347a24fb758a9b4056d4fd561a3ecec237/js/ui/windowManager.js#L801 On our side, one workaround would be to comment out this line: https://github.com/mlutfy/hidetopbar/blob/a692aa423bc854ec2209792e8b3fd4d25b803441/panelVisibilityManager.js#L111 But this might look...

As far as I know, nobody is working on this. Feel free to create a PR with your own fix.

I can confirm that the shortcut is displayed as being "invalid" even though it works fine (at least for me).

What does it mean that it "clashes"? What is the relevant difference between the top and the bottom image?

I didn't count the pixels, but the notification boxes in the top and bottom images seem to be of roughly the same height and all the information contained in the...

This looks like an upstream problem and should probably be fixed on GNOME's side. Feel free to post this issue again in some GNOME repository (e.g. https://gitlab.gnome.org/GNOME/gnome-shell/). I will leave...

As I said, it most likely is an upstream issue and I encourage you to post this in some official GNOME repository.