From 79a7c1c9cedb5079bebe9269d02d7abb0f446041 Mon Sep 17 00:00:00 2001
From: curt <curt>
Date: Sat, 29 Jun 2002 13:07:25 +0000
Subject: [PATCH] Allow the default GUI font to be set via properties.

---
 src/GUI/gui.cxx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/GUI/gui.cxx b/src/GUI/gui.cxx
index f49f14d2a..847c8e0fb 100644
--- 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 ) ;