Commit 122afc5 replaces the text editor with the one used by the Groovy console. This has some support for nicer undo/redos (see #1), e.g., chunking text instead of just capturing at the character level. There is also a find/replace feature that might be useful to enable.
Commit 122afc5 replaces the text editor with the one used by the Groovy console. This has some support for nicer undo/redos (see #1), e.g., chunking text instead of just capturing at the character level. There is also a find/replace feature that might be useful to enable.