I'm using the Processing PDE on my Ubuntu laptop, which has a high resolution display. The Processing PDE does not scale properly, as the rest of the system does. I can of course change the font in the editor, but the menus, console, ... are really tiny. I think PDE is a Java Swing application.
Is there a way (command line flag? environment variable? ...?) which allows increasing of the "system" font size in the applications?