There's two sides to this and I would appreciate some guidance and which
this bug report should focus on:
(a) Installing Ubuntu proportional fonts (x7) and installing Ubuntu
Mono fixed width fonts (x4) independently.
(b) Being able to select which is used by the operating system.
for (a), this is a matter of packaging. They could be split out. For
technical reasons it may be desirable to have one .deb package
installed, but not the other; such as for saving disk space.
for (b), the two can be set independently. They are saved in the keys
'font-name' and 'monospace-font-name'. But default these are:
echo {,monospace-}font-name | xargs -n1 gsettings get
org.gnome.desktop.interface
'Ubuntu 11'
'Ubuntu Mono 13'
although the user is able to override the defaults for one without
affecting the other.
** Changed in: ubuntu-font-family-sources (Ubuntu)
Status: Confirmed => Incomplete
** Changed in: ubuntu-font-family
Status: New => Incomplete
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/863358
Title:
Can't easily use Ubuntu without using Ubuntu Mono
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu-font-family/+bug/863358/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs