Thank you for reporting this behavior. What version of Ubuntu are you using, and which version of gnome-terminal?
Thanks!
Thank you for reporting this behavior. What version of Ubuntu are you using, and which version of gnome-terminal?
Thanks!