Can't select the menu items, or edit with starting the v1.8.3 IDE on a HDPI screen on Linux (GNOME)

even changing the scaling factor doesn't help make the mouse usable.

the menus do at least work when using keyboard shortcuts, but my 8 year old has kinda lost interest after trying to work out how to make it useful.

I understand that its going to take quite a lot of work to resolve, but :/