[Bug 132567] Re: [gnome-terminal] cannot set profile with mouse

** Changed in: gnome-terminal (Ubuntu) Status: Triaged => Fix Committed ** Changed in: gnome-terminal (Ubuntu) Status: Fix Committed => Fix Released -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.

[Bug 309884] Re: deleting a module that is in use locks up terminal

** Changed in: gnome-terminal (Ubuntu) Status: Incomplete => Opinion ** Changed in: gnome-terminal (Ubuntu) Status: Opinion => Fix Committed -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs