From 98284d03780bf592ac876b4d44c973cd49419888 Mon Sep 17 00:00:00 2001 From: Sheng Chen Date: Wed, 3 Jul 2024 13:44:16 +0800 Subject: [PATCH] fix - Jump to formatter page when it's opened (#1362) --- src/formatter-settings/index.ts | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/src/formatter-settings/index.ts b/src/formatter-settings/index.ts index c58e6a75..0f74791f 100644 --- a/src/formatter-settings/index.ts +++ b/src/formatter-settings/index.ts @@ -56,7 +56,12 @@ export class JavaFormatterSettingsEditorProvider implements vscode.CustomTextEdi } public async showFormatterSettingsEditor(): Promise { - if (this.webviewPanel || !await this.checkProfileSettings() || !this.settingsUrl) { + if (this.webviewPanel) { + this.webviewPanel.reveal(); + return; + } + + if (!await this.checkProfileSettings() || !this.settingsUrl) { return; } const filePath = this.readOnly ? vscode.Uri.parse(this.settingsUrl).with({ scheme: RemoteProfileProvider.scheme }) : vscode.Uri.file(this.profilePath);