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