G.Ambatte de86a77dfc Change post-insertion selection option

2022-09-27 17:06:48 +13: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

Change post-insertion selection option

2022-09-27 17:06:48 +13:00

codeEditor.less

Change fold-marker color to grey

2022-09-25 19:59:35 +13:00

fold-code.js

More simplification to fold-code script

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