[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://bugs.debian.org/cgi-bin/bugreport.cgi?bug=736681
   Importance: Unknown
   Status: Unknown

-- 
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 "Source Code Pro 11" instead of "ubuntu mono 13"

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu-gnome/+bug/1173398/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

[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 subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1173398

Title:
  Use "monospace 11" instead of "ubuntu mono 13"

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu-gnome/+bug/1173398/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs


[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 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 "ubuntu mono 13"

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/ubuntu-gnome-default-settings/+bug/1173398/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs


[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 "ubuntu mono 13"

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/ubuntu-gnome-default-settings/+bug/1173398/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs