[Bug 1173398] Re: Use "monospace 11" instead of "ubuntu mono 13"

2020-04-10 Thread Tim Lunn
The default upstream GNOME font is "Source Code Pro" these days. Would consider switching to this but it is not currently packaged in Debian/Ubuntu. ** Bug watch added: Debian Bug tracker #736681 https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=736681 ** Also affects: debian via https://b

[Bug 1173398] Re: Use "monospace 11" instead of "ubuntu mono 13"

2016-05-12 Thread Bruce Pieterse
** Also affects: ubuntu-gnome Importance: Undecided Status: New ** Changed in: ubuntu-gnome Importance: Undecided => Wishlist ** Changed in: ubuntu-gnome Milestone: None => yakkety -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribe

[Bug 1173398] Re: Use "monospace 11" instead of "ubuntu mono 13"

2013-04-26 Thread Julien Olivier
Well, we already use Cantarell (GNOME's default) instead of Ubuntu font for "normal' fonts, so it's only logical to use GNOME's default for monospace too instead of Ubuntu's default. I'm not sure which font is GNOME's default though, and I just assumed it was "monospace 11". -- You received this

[Bug 1173398] Re: Use "monospace 11" instead of "ubuntu mono 13"

2013-04-26 Thread Jeremy Bicha
'monospace' is actually DejaVu Sans Mono. Why do you think it should be the default instead of Ubuntu Mono? -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1173398 Title: Use "monospace 11" instead of