1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-31 20:52:13 +01:00

6 Commits

Author SHA1 Message Date
Federico Fissore
f9c80816aa Halved "scroll down" timer of ConsoleOutputStream 2015-12-01 16:39:17 +01:00
Federico Fissore
aaebb0a4d6 Stored some regexps in static finals, given names to threads, and slightly
optimized ConsoleOutputStream
2015-11-27 15:07:44 +01:00
Federico Fissore
e5252e3031 Slightly improved how EditorConsole works 2015-10-30 15:31:58 +01:00
Federico Fissore
e5ddd0be3b New compiler 2015-09-14 15:21:15 +02:00
Federico Fissore
98874e4af2 ConsoleOutputStream: replacing \r to \n when printing on IDE console 2015-06-29 16:18:40 +02:00
Federico Fissore
e15ba64ee2 New console: replaces previous EditorConsoleStream with one that's faster and doesn't discard end chars.
See #2798
2015-06-29 16:18:40 +02:00