From f33a7578d4d4e41773eb910234680cba39561ed7 Mon Sep 17 00:00:00 2001
From: Alexey Andreev <konsoletyper@gmail.com>
Date: Mon, 14 Aug 2023 19:28:36 +0200
Subject: [PATCH] chrome plugin: remove unused permission, minor reformatting

---
 tools/chrome-rdp/src/main/js/chrome/main.js       | 10 +++++-----
 tools/chrome-rdp/src/main/js/chrome/manifest.json |  4 ++--
 2 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/tools/chrome-rdp/src/main/js/chrome/main.js b/tools/chrome-rdp/src/main/js/chrome/main.js
index c5fb0e07d..b7ab4d98b 100644
--- a/tools/chrome-rdp/src/main/js/chrome/main.js
+++ b/tools/chrome-rdp/src/main/js/chrome/main.js
@@ -10,7 +10,7 @@ class DebuggerAgent {
         this.port = 0;
         this.disconnectCallbacks = null;
 
-        this.debuggee = { tabId : tab.id };
+        this.debuggee = { tabId: tab.id };
         this.port = port;
         this.tab = tab;
         debuggerAgentMap[tab.id] = this;
@@ -87,9 +87,9 @@ class DebuggerAgent {
         chrome.debugger.sendCommand(this.debuggee, message.method, message.params, response => {
             if (message.id) {
                 const responseToServer = {
-                    id : message.id,
-                    result : response,
-                    error : response ? void 0 : chrome.runtime.lastError
+                    id: message.id,
+                    result: response,
+                    error: response ? void 0 : chrome.runtime.lastError
                 };
                 this.sendMessage(responseToServer);
             }
@@ -151,7 +151,7 @@ chrome.debugger.onEvent.addListener((source, method, params) => {
     if (!agent) {
         return;
     }
-    const message = { method : method, params : params };
+    const message = { method: method, params: params };
     if (agent.pendingMessages) {
         agent.pendingMessages.push(message);
     } else if (agent.connection) {
diff --git a/tools/chrome-rdp/src/main/js/chrome/manifest.json b/tools/chrome-rdp/src/main/js/chrome/manifest.json
index ab1b19abf..8a9c32410 100644
--- a/tools/chrome-rdp/src/main/js/chrome/manifest.json
+++ b/tools/chrome-rdp/src/main/js/chrome/manifest.json
@@ -3,9 +3,9 @@
 
     "name": "TeaVM debugger agent",
     "description": "TeaVM debugger agent, that sends RDP commands over WebSocket",
-    "version": "0.7.0",
+    "version": "0.7.1",
 
-    "permissions" : ["debugger", "activeTab", "tabs", "storage", "scripting"],
+    "permissions": ["debugger", "activeTab", "storage", "scripting"],
 
     "action" : {
         "default_icon": "teavm-16.png",