arduino/Arduino — pull request #1272 by MartyMacGyver (2013-02-08 09:37:05+00:00)
Title: 1.5.x enhancements: serial monitor autostart and editor window size autosave

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

* Add preference serial.autostart to start serial monitor after a successful upload (Martin Falatic)

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