activate widget when opened by command

Signed-off-by: Colin Grant <[email protected]>
eclipse-theia · Apr 14, 2021 · 8c9fb88 · 8c9fb88
1 parent a1f5e59
commit 8c9fb88
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/packages/preferences/src/browser/preferences-contribution.ts b/packages/preferences/src/browser/preferences-contribution.ts
@@ -59,7 +59,7 @@ export class PreferencesContribution extends AbstractViewContribution<Preference
 
     registerCommands(commands: CommandRegistry): void {
         commands.registerCommand(CommonCommands.OPEN_PREFERENCES, {
-            execute: () => this.openView({ reveal: true }),
+            execute: () => this.openView({ activate: true }),
         });
         commands.registerCommand(PreferencesCommands.OPEN_PREFERENCES_JSON_TOOLBAR, {
             isEnabled: () => true,