2nd font

src/cg/06-fontEditor.cg

@@ -84,7 +84,7 @@ fontEditor = config \
                 h = headerHeight,
                 key = "new-glyph-button",
                 label = "New Glyph",
-                onSubmit = key \ rebindAt [...c.path, "glyphs", key] { w = 7, h = 12, map = [] }
+                onSubmit = key \ rebindAt [...c.path, "glyphs", key] { w = 5, h = 12, map = [] }
               }
             ]
           };

src/cg/06-tree.cg

@@ -54,7 +54,8 @@ treeNode = config \
 
   simple = path content color onClick \
     selected = (config.selectedPath | Some p \ p == path | None \ False);
-    inner = ui.text { content = content, color = (selected | True \ "white" | False \ color) };
+    # inner = ui.text { content = content, color = (selected | True \ "white" | False \ color) };
+    inner = renderText { scale = 1, content = content, color = (selected | True \ "white" | False \ color) };
     wrapped = (onClick
       | Some handler \ ui.clickable { onClick = handler, child = inner }
       | None \ inner);