mondo add % for pace

This commit is contained in:
Felix Roos 2025-03-20 13:24:31 +01:00
parent 432e8dcccc
commit 9626f3cc9a
No known key found for this signature in database
2 changed files with 3 additions and 2 deletions

View file

@ -17,7 +17,7 @@ export class MondoParser {
open_seq: /^\[/,
close_seq: /^\]/,
number: /^-?[0-9]*\.?[0-9]+/, // before pipe!
op: /^[*/:!@]|^\.{2}/, // * / : ..
op: /^[*/:!@%]|^\.{2}/, // * / : ! @ % ..
pipe: /^\./,
stack: /^[,$]/,
plain: /^[a-zA-Z0-9-~_^]+/,