From 0f5502c1a721aded5fd796db799d1410fe5f6963 Mon Sep 17 00:00:00 2001 From: Matt Bierner Date: Mon, 26 Jun 2023 15:26:02 -0700 Subject: [PATCH] Rename settings for media preview video settings (#186231) For #176418 --- extensions/media-preview/package.json | 4 ++-- extensions/media-preview/src/videoPreview.ts | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/extensions/media-preview/package.json b/extensions/media-preview/package.json index 02d4fa12fe0..3107d9d60bf 100644 --- a/extensions/media-preview/package.json +++ b/extensions/media-preview/package.json @@ -31,12 +31,12 @@ "type": "object", "title": "Media Previewer", "properties": { - "previewer.videos.autoPlay": { + "mediaPreview.video.autoPlay": { "type": "boolean", "default": false, "markdownDescription": "%videoPreviewerAutoPlay%" }, - "previewer.videos.loop": { + "mediaPreview.video.loop": { "type": "boolean", "default": false, "markdownDescription": "%videoPreviewerLoop%" diff --git a/extensions/media-preview/src/videoPreview.ts b/extensions/media-preview/src/videoPreview.ts index a414935a46f..efc6be76a4f 100644 --- a/extensions/media-preview/src/videoPreview.ts +++ b/extensions/media-preview/src/videoPreview.ts @@ -54,7 +54,7 @@ class VideoPreview extends MediaPreview { protected async getWebviewContents(): Promise { const version = Date.now().toString(); - const configurations = vscode.workspace.getConfiguration('previewer.videos'); + const configurations = vscode.workspace.getConfiguration('mediaPreview.video'); const settings = { src: await this.getResourcePath(this.webviewEditor, this.resource, version), autoplay: configurations.get('autoPlay'),