1 Issue closed by 1 person

• web editor text boxes use default font not monospaced

  #10 closed May 16, 2025

1 Unresolved conversation

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• next version - new syntax, AST, etc

  #9 commented on Apr 21, 2025 • 0 new comments