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

Reply via email to