Bent 4f2dd519c6 Fix terminal scrolling and terminalNotify ... The original statement seems to be a bit too precise regarding the height. Any tiny lag or one pixel movement leads to the console not being scrolled to the bottom anymore. Same applies for manually scrolling down which does not hide the `terminalNotify` properly. A bit larger "buffer" fixes this.		2017-07-03 08:46:53 +02:00
..
css	Fix more of the console, add back support for arrow key command history	2017-06-30 20:41:16 -05:00
js	Fix terminal scrolling and terminalNotify	2017-07-03 08:46:53 +02:00
vendor	Update socketio and do some cache busting for it	2017-06-28 21:53:14 -05:00