Tue, 09 Jan 2018 12:28:15 +0100 window-title: set terminal title
Tomas Zeman <tzeman@volny.cz> [Tue, 09 Jan 2018 12:28:15 +0100] rev 52
window-title: set terminal title
(0) -30 -10 -1 +1 tip