Make initial installation message optional (const switch)

git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@7394 8c9fc860-2736-0410-a75d-ab315db34111

source/WMDefaultFont.Mod

@@ -3,6 +3,8 @@ MODULE WMDefaultFont;	 (** AUTHOR "TF"; PURPOSE "Embedded Oberon font"; *)
 IMPORT
 	KernelLog, Streams, Graphics := WMGraphics, Raster;
 
+CONST TraceInstallation = FALSE;
+
 TYPE
 	Glyph = RECORD
 		img : Graphics.Image;
@@ -316,7 +318,9 @@ BEGIN
 	nof := 0;
 	DefaultFont;
 	Graphics.InstallDefaultFont(LoadDefaultFont());
-	KernelLog.String("Default font installed");
+	IF TraceInstallation THEN
+		KernelLog.String("Default font installed"); KernelLog.Ln;
+	END;
 END WMDefaultFont.