@pid_eins I always have the impression there are hundreds of different terminal emulators available. Isn't there at least one that might already handle this? :)