get font name from the default text attributes

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

source/FoxA2Interface.Mod

@@ -14,7 +14,7 @@ TYPE
 		BEGIN
 			InitBasicWriter(w); alertCount := 0; commentCount := 0; keywordCount := 0;
 			IF w IS TextUtilities.TextWriter THEN
-				w(TextUtilities.TextWriter).SetFontName("Vera");
+				w(TextUtilities.TextWriter).SetFontName(Texts.defaultAttributes.fontInfo.name);
 			END;
 		END InitA2Writer;