Closed ikwyl6 closed 3 years ago
Hi,
Thank you for the pull request. We used to have very similar code to this. I ended up removing it because it was causing issues with the undo feature (ctrl+z) in most browsers.
It doesn't look like we can have a minimal implementation without issues, we also tried incorporating third-party projects, but that is against the main project goal (minimalism).
Some javascript for textarea so if you want to indent you can use a Tab key and not spaces (which adds spaces for you).