4 commits

Author	SHA1	Message	Date
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