Mouse cursor in gnome-terminal (wayland) won't be scaled correctly (HiDPI)
I use gnome-shell/master with mutter/master on Wayland (screen has a scale of 200%). If I start gnome-terminal and the mouse cursor is initially over the menu or titlebar of gnome-terminal when the window is shown, the mouse cursor will be correctly shown (and correctly scaled).
But if I start gnome-terminal when I have the mouse cursor located in the middle of gnome-terminal (where the text is written) or outside gnome-terminal when starting gnome-terminal) the mouse cursor has the right size as when it is correctly scaled but it looks blurry.
Here are two screencasts that show this issue. The tiny cursor in front of the blurry cursor is not shown for me, it is only visible in the screencast (it is also only shown when this issue is triggered):
wayland_session Starting gnome-terminal here via overview, the cursor is outside of gnome-terminal when the window is shown => wrong mouse cursor scale. wayland_session_2 First case: gnome-terminal is started with cursor initially in the text area of gnome-terminal => wrong mouse cursor scale. Second case: gnome-terminal is started with cursor outside of gnome-terminal => wrong mouse cursor scale. Third case: gnome-terminal is started with cursor initially hovering menu and titlebar => right mouse cursor scale.
I use Arch Linux with linux 4.17.2-1, mutter (latest master), gnome-shell (latest master), gtk3 3.22.30-1 (it is also visible with the current gtk-3-24 branch)