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
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