From d13f3e79c8a6d8e49d4cfc386d83e7d467896ee9 Mon Sep 17 00:00:00 2001 From: Matt Bierner Date: Thu, 4 May 2017 09:14:05 -0700 Subject: [PATCH] Fix markdown preview no longer marking selection Fixs #25802 --- extensions/markdown/src/previewContentProvider.ts | 1 + 1 file changed, 1 insertion(+) diff --git a/extensions/markdown/src/previewContentProvider.ts b/extensions/markdown/src/previewContentProvider.ts index 7e98548f212..e1ce84caba3 100644 --- a/extensions/markdown/src/previewContentProvider.ts +++ b/extensions/markdown/src/previewContentProvider.ts @@ -73,6 +73,7 @@ class MarkdownPreviewConfig { this.scrollPreviewWithEditorSelection = !!markdownConfig.get('preview.scrollPreviewWithEditorSelection', true); this.scrollEditorWithPreview = !!markdownConfig.get('preview.scrollEditorWithPreview', true); this.doubleClickToSwitchToEditor = !!markdownConfig.get('preview.doubleClickToSwitchToEditor', true); + this.markEditorSelection = !!markdownConfig.get('preview.markEditorSelection', true); this.fontFamily = markdownConfig.get('preview.fontFamily', undefined); this.fontSize = +markdownConfig.get('preview.fontSize', NaN);