Brian E. Granger 5aca53a3c2 Merge pull request #2419 from blink1073/codemirror-options %!s(int64=8) %!d(string=hai) anos
..
src 31860fb2d7 Fix handling of codemirror options %!s(int64=8) %!d(string=hai) anos
package.json fc3bac9aa3 Use more explicit typescript version %!s(int64=8) %!d(string=hai) anos
tsconfig.json d1d3900c83 Moving editorwidget to fileeditor. %!s(int64=8) %!d(string=hai) anos