Arduino IDE with really small menu

using the Arduino IDE sucks, because the menu is too small on my Plasma Desktop:

It’s the same under Gnome and if I download the IDE from, too. All Items can be increased but not the menu. Must be a Java issue, but I don’t understand how to configure it. Any Idea?

I have just found a workaround. Start the ide

GDK_SCALE=2 /usr/share/arduino/arduino