Update codemirror-editor

Browse Source

Main things we want:
* Add support to scroll to line
* Add support for fsharp

Change-Id: Ife3506ed937164cb38cbee40e9106d33eaa3ea28

...

This commit is contained in:

Paladox none

2020-03-06 14:49:37 +00:00

parent d82b6f7d76

commit 85eace4399

1 changed files with 1 additions and 1 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

2

plugins/codemirror-editor

Submodule plugins/codemirror-editor updated: 2d3f265ab1...59942b1adf