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
..
2017-10-07 17:21:41 -05:00