@nekohayo (Case in point: the exact issue that made me lose a day of work was reported three years ago: https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/3371 and the reason it’s still an issue is not because of an inability to fix the issue but a reluctance to see the problem as an issue since, given the use case you stated above, the low quality isn’t a bug but a feature as the tool is optimised for a different use case to one that people outside the GNOME dev team have.)