Adding text size.

2023-02-24 21:25:54 -08:00
parent 244f16b898
commit fb3db70da6
1 changed files with 4 additions and 0 deletions
--- a/web/platform.fs
+++ b/web/platform.fs
@ -903,6 +903,10 @@ JSWORD: log { a n -- }
  console.log(GetString(a, n));
 ~

+JSWORD: text-size! { n -- }
+  context.terminal.style.fontSize = n + 'px';
+~
+
 JSWORD: font { a n -- }
  context.ctx.font = GetString(a, n);
 ~