there is a "document font", maybe that one should be used? -- Default Monospace font in gedit is too big https://launchpad.net/bugs/2961
-- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
