Preferences window too big for display

Development Tools IDE 1.x
2

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