Gregory Schier 012b1f757b Prevent modal from closing after escaping autocomplete

2017-08-18 09:29:27 -07:00

..

extensions

Prevent modal from closing after escaping autocomplete

2017-08-18 09:29:27 -07:00

modes

More 5.0 Fixes and Stuff (#134)

2017-04-07 11:10:15 -07:00

base-imports.js

Re-add CodeMirror autorefresh plugin

2017-08-10 08:46:01 -07:00

code-editor.js

Fix copying of large text contents (Fixes #430)

2017-08-14 09:24:31 -07:00

one-line-editor.js

Upgrade React and dependent libraries

2017-08-09 18:56:27 -07:00