(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:
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.