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
..
css	Feature/fix terminal notification (#681)	2017-10-18 00:24:14 -04:00
js	Feature/fix terminal notification (#681)	2017-10-18 00:24:14 -04:00
vendor	Fix sidebar dropdown not working	2017-10-17 22:23:37 -05:00