You have been subscribed to a public bug:
The default font size in terminal (which you access with Alt+F1 etc.) is
too big.
** Affects: gnome-terminal (Ubuntu)
Importance: Undecided
Status: New
--
Smaller font in terminal
https://bugs.edge.launchpad.net/bugs/148179
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
