From b06fac32cbdd75fd6c176b580e0dad7ffcf15a1e Mon Sep 17 00:00:00 2001 From: anaximeno Date: Wed, 21 Jan 2026 04:01:38 -0100 Subject: [PATCH] Refresh all workspaces when the title display setting is changed This works well enough and guarantees all workspaces are in the same state both when enabling and disabling the title display options. --- .../grouped-window-list@cinnamon.org/applet.js | 15 +-------------- 1 file changed, 1 insertion(+), 14 deletions(-) diff --git a/files/usr/share/cinnamon/applets/grouped-window-list@cinnamon.org/applet.js b/files/usr/share/cinnamon/applets/grouped-window-list@cinnamon.org/applet.js index 1cbf7efb41..78f2fd78d4 100644 --- a/files/usr/share/cinnamon/applets/grouped-window-list@cinnamon.org/applet.js +++ b/files/usr/share/cinnamon/applets/grouped-window-list@cinnamon.org/applet.js @@ -618,21 +618,8 @@ class GroupedWindowListApplet extends Applet.Applet { } updateTitleDisplay(titleDisplay) { - if (titleDisplay === TitleDisplay.None - || this.state.lastTitleDisplay === TitleDisplay.None) { - this.refreshCurrentWorkspace(); - } - - this.workspaces.forEach( workspace => { - workspace.appGroups.forEach( appGroup => { - if (titleDisplay === TitleDisplay.Focused) { - appGroup.hideLabel(); - } - appGroup.handleTitleDisplayChange(); - }); - }); - this.state.set({lastTitleDisplay: titleDisplay}); + this.refreshAllWorkspaces(); } getAppFromWindow(metaWindow) {