@@ -1,3 +1,6 @@
+2007-??-??: 1.16
+ use _sans font for default flash traces (better Linux support)
+
2007-08-29: 1.15
fixed bug with Enum.construct when Enum have type parameters
change with "untyped" : arguments types are checked (because of opt select)
@@ -160,6 +160,9 @@ class Boot {
if( tf == null ) {
root.createTextField("__trace_txt",1048500,0,0,Stage.width,Stage.height+30);
tf = root.__trace_txt;
+ var format = tf.getTextFormat();
+ format.font = "_sans";
+ tf.setNewTextFormat(format);
tf.selectable = false;
tf.textColor = def_color;
root.__trace_lines = new Array<String>();
@@ -96,6 +96,9 @@ class Boot extends flash.display.MovieClip {
var mc = flash.Lib.current;
tf = new flash.text.TextField();
+ tf.defaultTextFormat = format;
tf.width = mc.stage.stageWidth;
tf.autoSize = flash.text.TextFieldAutoSize.LEFT;