Preferences window too big for display

I've installed Arduino IDE V1.8.5 on a Pine64 running Ubuntu Armbian Linux 2.10.105-pine64 with a 7" 1024x600 LCD touch screen display. The Arduino IDE works fine. I'm able to compile and upload sketches. But the Preferences window doesn't fit on the display. The OK and Cancel buttons at the bottom of the window are not visible, or accessible by any means I've figured out.

In reading old Forum posts I see that this problem used to exist, but that it had been fixed at some point. Has the problem returned, or is there something I can change on my setup that would fix this?

Thanks!

Yeah, it was supposed to be working on 600 px now:

A workaround would be to:

  • File > Preferences
  • Click the link on the line following File > Preferences > More preferences can be edited directly in the file
  • Open the file preferences.txt in a text editor
  • Close the Arduino IDE
  • Edit preferences.txt according to your needs
  • Save the file
  • Start the Arduino IDE