merge #264639 #253362 #318370 thanks (resubmitting as my original mail apparently got lost) 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, -- Clément Stenac