|
@@ -60,7 +60,7 @@ class TabScript {
|
|
|
var _font = ui.ops.font;
|
|
|
var _fontSize = ui.fontSize;
|
|
|
Data.getFont("font_mono.ttf", function(f: kha.Font) { ui.ops.font = f; }); // Sync
|
|
|
- ui.fontSize = 15;
|
|
|
+ ui.fontSize = Std.int(15 * ui.SCALE());
|
|
|
Ext.textAreaLineNumbers = true;
|
|
|
Ext.textAreaScrollPastEnd = true;
|
|
|
Ext.textAreaColoring = getTextColoring();
|