there is a "document font", maybe that one should be used?

-- 
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