Skip to content

Commit b06fac3

Browse files
committed
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.
1 parent 78b92bd commit b06fac3

File tree

1 file changed

+1
-14
lines changed
  • files/usr/share/cinnamon/applets/grouped-window-list@cinnamon.org

1 file changed

+1
-14
lines changed

files/usr/share/cinnamon/applets/grouped-window-list@cinnamon.org/applet.js

Lines changed: 1 addition & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -618,21 +618,8 @@ class GroupedWindowListApplet extends Applet.Applet {
618618
}
619619

620620
updateTitleDisplay(titleDisplay) {
621-
if (titleDisplay === TitleDisplay.None
622-
|| this.state.lastTitleDisplay === TitleDisplay.None) {
623-
this.refreshCurrentWorkspace();
624-
}
625-
626-
this.workspaces.forEach( workspace => {
627-
workspace.appGroups.forEach( appGroup => {
628-
if (titleDisplay === TitleDisplay.Focused) {
629-
appGroup.hideLabel();
630-
}
631-
appGroup.handleTitleDisplayChange();
632-
});
633-
});
634-
635621
this.state.set({lastTitleDisplay: titleDisplay});
622+
this.refreshAllWorkspaces();
636623
}
637624

638625
getAppFromWindow(metaWindow) {

0 commit comments

Comments
 (0)