High DPI unusable on Linux

[SvenDowideit]

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

[PaulStoffregen]

Click File > Preferences. Or hold the CTRL key and press the comma ',' key.

[PaulStoffregen]

These definitely do work on my Ubuntu system using Arduino 1.8.3.

[SvenDowideit]

That does a little. But the menus are still mostly unusable

[cmaglie]

Does GNOME provides a setting for hi-dpi display? How is it set?

[SvenDowideit]

@cmaglie not that we found - GNOME's claim to fame is to remove settings that users use - and even the secret settings tool didn't help.

[JamaicanMoose]

Not sure if this is the right place to post this, but on Ubuntu 17.10 using wayland, manual High DPI scaling works for everything except for the menu items. This isn't an issue that I have with other applications.