*** This bug is a duplicate of bug 132567 ***
https://bugs.launchpad.net/bugs/132567
Thank you for taking the time to report this bug and helping to make
Ubuntu better. This particular bug has already been reported. Please
look at the other bug report to see if there is any information missing
that you can add or to see if there is a work around. Feel free to
continue to report any other bugs you may find.
** Changed in: gnome-terminal (Ubuntu)
Status: New => Confirmed
** This bug has been marked a duplicate of bug 132567
[gnome-terminal] cannot set profile with mouse
--
change profile in gnome-terminal doesn't work
https://bugs.launchpad.net/bugs/133592
You received this bug notification because you are a member of Ubuntu
Bugs, which is the bug contact for Ubuntu.
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
