Open JGantts opened 4 years ago
Currently all parsing and highlighting is done before inserting the character corresponding to the keystroke. This is horrible for UX.
Currently all parsing and highlighting is done before inserting the character corresponding to the keystroke. This is horrible for UX.