"I suspect that toggling the scrollbar's visibility might eliminate this bug for you" -I'd like to try that, but where's that option hidden?
As for dropping the patch: I could try rebuilding, but for the time being I'd prefer the other option. -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/2049923 Title: gnome-terminal freezing, then crashing To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/2049923/+subscriptions -- desktop-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
