Georg Gentzen

I like this feature. I am currently trying to rebase it with PR #125 to avoid conflicts. Hope you don't mind

Year, that is exactly what I meant. I just fetched your PR #115 to my local repository to update it and to propose it to you. I'm not changing anything...

Alright

Likewise

The issue occurs in gnome-terminal, xterm, guake.