Rename settings for media preview video settings (#186231)

For #176418
This commit is contained in:
Matt Bierner 2023-06-26 15:26:02 -07:00 committed by GitHub
parent e23be3ca5b
commit 0f5502c1a7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 3 additions and 3 deletions

View File

@ -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%"

View File

@ -54,7 +54,7 @@ class VideoPreview extends MediaPreview {
protected async getWebviewContents(): Promise<string> {
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'),