Thank you for your suggestion. However, the changes you are requesting
aren't really a bug and require more discussion, which should be done on
an appropriate mailing list or forum.
http://www.ubuntu.com/support/community/mailinglists might be a good
start for determining which mailing list to use.
** Changed in: gnome-terminal (Ubuntu)
Status: New => Invalid
** Changed in: hundredpapercuts
Status: New => Invalid
--
make default terminal fonts 11.
https://bugs.launchpad.net/bugs/493147
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in ubuntu.
--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
