diff options
| author | Mike Krüger <mkrueger@xamarin.com> | 2013-08-05 23:51:54 +0400 |
|---|---|---|
| committer | Mike Krüger <mkrueger@xamarin.com> | 2013-08-06 00:31:44 +0400 |
| commit | f374506cadf6791175bb1684d74d7a3bff3080d3 (patch) | |
| tree | dba42e2dc7fa80b21a8ef47392478915d6763ccb /main/src/addins/GnomePlatform | |
| parent | 6b5983da87de39c1557d69570ea28d05a10eee52 (diff) | |
[GnomePlatform] Default to "Monospace" font when font can't be read
from the gnome configuration.
Diffstat (limited to 'main/src/addins/GnomePlatform')
| -rw-r--r-- | main/src/addins/GnomePlatform/GnomePlatform.cs | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/main/src/addins/GnomePlatform/GnomePlatform.cs b/main/src/addins/GnomePlatform/GnomePlatform.cs index 53a45f3493..c9019bffe7 100644 --- a/main/src/addins/GnomePlatform/GnomePlatform.cs +++ b/main/src/addins/GnomePlatform/GnomePlatform.cs @@ -135,7 +135,13 @@ namespace MonoDevelop.Platform } public override string DefaultMonospaceFont { - get { return (string) (new GConf.Client ().Get ("/desktop/gnome/interface/monospace_font_name")); } + get { + try { + return (string) (new GConf.Client ().Get ("/desktop/gnome/interface/monospace_font_name")); + } catch (Exception) { + return "Monospace 11"; + } + } } public override string Name { |