Trevor Buckner 2dc874daba Adjust hotkeys to match other changes

2023-12-04 22:21:58 -05: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

Adjust hotkeys to match other changes

2023-12-04 22:21:58 -05:00

codeEditor.less

set editor font size to 16px on touchscreens

2023-08-01 13:29:57 -05:00

fold-code.js

More simplification to fold-code script

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