in /usr/share/glib-2.0/schemas/20_ubuntu-gnome-default-settings.gschema.override, we set monospace-font-name="Ubuntu Mono 13". Is there any reason not to use GNOME's default monospace font ("monospace 11" is I'm not mistaken) as we do for other font settings?
ProblemType: Bug
DistroRelease: Ubuntu 13.04
Package: ubuntu-gnome-default-settings 13.04.3
ProcVersionSignature: Ubuntu 3.8.0-19.29-generic 3.8.8
Uname: Linux 3.8.0-19-generic i686
ApportVersion: 2.9.2-0ubuntu8
Architecture: i386
Date: Sat Apr 27 00:19:55 2013
InstallationDate: Installed on 2010-09-15 (954 days ago)
InstallationMedia: Ubuntu 10.04.1 LTS "Lucid Lynx" - Release i386 (20100816.1)
MarkForUpload: True
PackageArchitecture: all
SourcePackage: ubuntu-gnome-default-settings
UpgradeStatus: Upgraded to raring on 2011-04-01 (756 days ago)
in /usr/share/ glib-2. 0/schemas/ 20_ubuntu- gnome-default- settings. gschema. override, we set monospace- font-name= "Ubuntu Mono 13". Is there any reason not to use GNOME's default monospace font ("monospace 11" is I'm not mistaken) as we do for other font settings?
ProblemType: Bug gnome-default- settings 13.04.3 ature: Ubuntu 3.8.0-19.29-generic 3.8.8 ture: all gnome-default- settings
DistroRelease: Ubuntu 13.04
Package: ubuntu-
ProcVersionSign
Uname: Linux 3.8.0-19-generic i686
ApportVersion: 2.9.2-0ubuntu8
Architecture: i386
Date: Sat Apr 27 00:19:55 2013
InstallationDate: Installed on 2010-09-15 (954 days ago)
InstallationMedia: Ubuntu 10.04.1 LTS "Lucid Lynx" - Release i386 (20100816.1)
MarkForUpload: True
PackageArchitec
SourcePackage: ubuntu-
UpgradeStatus: Upgraded to raring on 2011-04-01 (756 days ago)