rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-20 09:52:13 +01:00
Code Issues Releases Activity
7,093 Commits 7 Branches 93 Tags
Commit Graph

8 Commits

Author SHA1 Message Date
Martino Facchin
b6280cfd65 Apply on-the-fly setFontSize to Console 
Fixes #7022
 2018-05-09 15:56:11 +02:00
Federico Fissore
321f589b0f Reduced "scroll down" timer of ConsoleOutputStream back to 100ms 2015-12-02 16:41:15 +01:00
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