merge #264639 #253362 #318370 thanks Hello, Thanks for this bugreport. Similar bugs have already been reported and forwarded to the upstream authors of gnome-terminal. I therefore merge these reports. Thanks, -- Zorglub Clément Stenac