mirror of
https://github.com/esp8266/Arduino.git
synced 2025-08-11 09:43:08 +03:00
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