This doesn’t make any sense. It should simply be the default monospace font. If the default terminal font is too small for a user, than should that not just be adjusted instead, system-wide?
The issue here is that the application does not follow the expected convention. Is this not about usability? Should the applications not follow expected conventions so that they are usable. For that matter, other GNOME software does the same thing—Anjuta, Bluefish, and others—where one has to tweak the settings *for* *each* *application*. This is a usability nightmare! -- Default Monospace font in gedit is too big https://launchpad.net/bugs/2961 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
