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.

Author: anaximeno

files/usr/share/cinnamon/applets/[email protected]/applet.js

@@ -623,21 +623,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) {