Interesting thought. Other Linux terminals I tested do not behave like gnome-terminal in that regard.
Interesting thought. Other Linux terminals I tested do not behave like gnome-terminal in that regard.