arduino/Arduino — pull request #1271 by MartyMacGyver (2013-02-08 09:24:33+00:00)
Title: Ide 1.5.x fixes

I've created two small enhancements targeting 1.5.x:

* Add preference serial.autostart to start serial monitor after a successful upload (Martin Falatic) By default this pref is false (setting it to true in local preferences will enable it)

* Save editor.window.{width|height}.default values based on last editor window closed (Martin Falatic)