Good idea, thanks! I've opened an upstream gnome-terminal bugreport about it: https://bugzilla.gnome.org/show_bug.cgi?id=793521
Good idea, thanks! I've opened an upstream gnome-terminal bugreport about it: /bugzilla. gnome.org/ show_bug. cgi?id= 793521
https:/