G.Ambatte 56fde5a448 Use cm.replaceSelection instead of split/join text

2022-09-24 13:34:26 +12:00

..

close-tag.js

Add addons for code search, auto-closing code, active line highlight, and trailing whitespace

2021-11-10 17:11:00 -06:00

codeEditor.jsx

Use cm.replaceSelection instead of split/join text

2022-09-24 13:34:26 +12:00

codeEditor.less

Smooth scroll editor Panel, and flash target line

2022-06-03 13:32:04 -04:00

fold-code.js

More simplification to fold-code script

2021-11-13 20:57:33 -05:00