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):
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)