Thank you for reporting this bug and helping to make Ubuntu better. Using gnome-terminal in 8.10, the problem no longer exists.
Thank you for reporting this bug and helping to make Ubuntu better. Using gnome-terminal in 8.10, the problem no longer exists.