Rename settings for media preview video settings (microsoft#186231)

For microsoft#176418

Author: mjbvz

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

extensions/media-preview/src/videoPreview.ts

@@ -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'),