1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-02-07 01:54:26 +01:00
David A. Mellis f1f2f8e49c Lowering minimum size for Editor text area.
This should make it possible to shrink the overall IDE window without
losing the scroll bars on the text pane.

http://code.google.com/p/arduino/issues/detail?id=52
2012-03-11 15:05:44 -04:00
..
2010-10-03 19:44:28 -04:00