Allow the default GUI font to be set via properties.

diff --git a/src/GUI/gui.cxx b/src/GUI/gui.cxx
index f49f14d2aeb9f33fafa92adb5a1c826916492d80..847c8e0fbe7c62a9c7d8fd401b36fefa8f27e58a 100644 (file)
--- a/src/GUI/gui.cxx
+++ b/src/GUI/gui.cxx
@@ -994,7 +994,7 @@ void guiInit()
     }
 
     // Install our fast fonts
-    fntpath.append( "typewriter.txf" );
+    fntpath.append(fgGetString("/sim/font", "typewriter.txf"));
     guiFntHandle = new fntTexFont ;
     guiFntHandle -> load ( (char *)fntpath.c_str() ) ;
     puFont GuiFont ( guiFntHandle, 15 ) ;