delete some fonts (I had the wrong resolution set for them so they needed to be redone), and add lower case g-m

2024-09-22 09:25:50 +01:00
parent e3d2c36dd5
commit dcb73c83c0
37 changed files with 66 additions and 260 deletions
--- a/imperative-shell/constants.sml
+++ b/imperative-shell/constants.sml
@@ -2,7 +2,7 @@ structure Constants =
 struct
  val windowWidth = 1000
  val windowHeight = 900
-  val initialNumClickPoints = 11
+  val initialNumClickPoints = 15

  val graphVertexShaderString =
    "#version 300 es\n\
--- a/imperative-shell/file-thread.sml
+++ b/imperative-shell/file-thread.sml
@@ -11,7 +11,7 @@ struct
  datatype parse_result = OK of AppType.triangle list | PARSE_ERROR

  val structureName = "UpperCaseG"
-  val filename = "fonts/box.dsc"
+  val filename = "fonts/lower-case-m.dsc"
  val exportFilename = "fonts/upper-case-h.sml"

  fun ndcToLerpX num =