From f788b04245b4da551844b90d14a4b1c1546057c2 Mon Sep 17 00:00:00 2001 From: Kyrill Zorin Date: Tue, 12 Aug 2025 00:15:43 +0100 Subject: [PATCH] Fix cache bug --- src/extension.js | 1 + src/panelSettings.js | 1 + 2 files changed, 2 insertions(+) diff --git a/src/extension.js b/src/extension.js index f6387e3..40e1cbe 100644 --- a/src/extension.js +++ b/src/extension.js @@ -155,6 +155,7 @@ export default class DashToPanelExtension extends Extension { PanelSettings.disable(SETTINGS) panelManager.disable() + PanelSettings.clearCache() DTP_EXTENSION = null SETTINGS = null diff --git a/src/panelSettings.js b/src/panelSettings.js index e21bf88..7b05dc1 100644 --- a/src/panelSettings.js +++ b/src/panelSettings.js @@ -46,6 +46,7 @@ export var availableMonitors = [] export async function init(settings) { useCache = true + cache = {} prefsOpenedId = settings.connect( 'changed::prefs-opened', () => (useCache = !settings.get_boolean('prefs-opened')),