Gregory Schier fb3833d9d8 Fix copying of large text contents (Fixes #430)

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

..

extensions

Added menu item for keyboard shortcuts and many small fixes

2017-08-04 09:54:11 -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