change output buffer to setTimeout instead of setInterval#1123

davegarthsimpson merged 6 commits intomainarduino/arduino-ide:mainfrom

use-timeout-in-output-bufferarduino/arduino-ide:use-timeout-in-output-bufferCopy head branch name to clipboard