From 0e3cee376c0d9e6a7babe111b8aab41d1c6b4642 Mon Sep 17 00:00:00 2001 From: Charles Gagnon Date: Thu, 6 Feb 2025 21:54:01 -0500 Subject: [PATCH] Activate prefs dialog if already opened --- src/extension.js | 15 ++++++++++++++- 1 file changed, 14 insertions(+), 1 deletion(-) diff --git a/src/extension.js b/src/extension.js index 8486f12..25c7450 100644 --- a/src/extension.js +++ b/src/extension.js @@ -137,7 +137,20 @@ export default class DashToPanelExtension extends Extension { } openPreferences() { - if (SETTINGS.get_boolean('prefs-opened')) return + if (SETTINGS.get_boolean('prefs-opened')) { + let prefsWindow = global + .get_window_actors() + .map((wa) => wa.meta_window) + .find( + (w) => + w.title == 'Dash to Panel' && + w.wm_class == 'org.gnome.Shell.Extensions', + ) + + if (prefsWindow) Main.activateWindow(prefsWindow) + + return + } super.openPreferences() }