ayan4m1
d24c61b472
Revert "Update terminal.css"
...
This reverts commit 955617d7ce
2018-09-15 20:43:11 -04:00
JC Snider
955617d7ce
Update terminal.css
...
Treat white space in terminal output as preformatted so ascii art/other formatting works.
2018-07-17 18:09:05 -04:00
Jakob
75c905a985
Feature/fix terminal notification ( #681 )
...
* show terminal notification on top
* show notification only when not scrolled down and new output available
* terminal: move scrolled down check outside of push loop
2017-10-18 00:24:14 -04:00
Dane Everitt
1abcb99f78
Fix more of the console, add back support for arrow key command history
2017-06-30 20:41:16 -05:00
Dane Everitt
7463bea101
fix the console rendering 🚤
2017-06-28 21:39:30 -05:00
