From 85eace4399c9d8e9d91bbb2de4c8d0ec81dd6c6e Mon Sep 17 00:00:00 2001 From: Paladox none Date: Fri, 6 Mar 2020 14:49:37 +0000 Subject: [PATCH] Update codemirror-editor Main things we want: * Add support to scroll to line * Add support for fsharp Change-Id: Ife3506ed937164cb38cbee40e9106d33eaa3ea28 --- plugins/codemirror-editor | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/plugins/codemirror-editor b/plugins/codemirror-editor index 2d3f265ab1..59942b1adf 160000 --- a/plugins/codemirror-editor +++ b/plugins/codemirror-editor @@ -1 +1 @@ -Subproject commit 2d3f265ab1797d4179cbd6855c937989175d5ce5 +Subproject commit 59942b1adf1c949f3633f60ac42f67fae03b3255