Mouse doesn't toggle bar when using remote desktop

[Myned]

The top bar does not appear when hovering over the top edge of the screen using the new remote desktop (RDP) feature in GNOME 42.

Moving the hardware mouse causes it to appear just fine. Hovering over the bottom edge through RDP where Dash to Panel is located results in the dash appearing, so it does not seem like a resolution or input bounding issue with the client (xdotool getmouselocation reports the same values when hovering over the top with both RDP and hardware mouse - y:0).

Tested with both stable extensions.gnome.org-107 and PR https://github.com/mlutfy/hidetopbar/pull/356 on X11 Arch using Microsoft Remote Desktop on macOS Monterey and Android 12.

[tuxor1337]

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. I don't know how this could be fixed.

[Myned]

My pressure barrier settings are at 0 for both the threshold and timeout, but I assume that does not affect the implementation. Perhaps a toggle to disable pressure completely for compatibility with those setups?