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 arduino.cc, 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?