On 2019-09-18 11:37:10 +0200, Egmont Koblinger wrote: > I don't intent do revive that discussion where we disagreed. We > probably still disagree on those things the exact same way, and still > nothing changed on VTE's side.
What I'm just asking is that this should be configurable. Currently, gnome-terminal is unusable for me. -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)