Fix notification on new number of workspaces for GNOME 3.30

mzur · mzur · commit 36750bc64f5e · 2018-11-01T12:24:13.000+01:00
diff --git a/wsmatrix@martin.zurowietz.de/WmOverride.js b/wsmatrix@martin.zurowietz.de/WmOverride.js
@@ -140,7 +140,7 @@ var WmOverride = class {
 
    _notify() {
       // Update the workspace display to match the number of workspaces.
-      DisplayWrapper.getScreen().notify('n-workspaces');
+      this.wsManager.notify('n-workspaces');
    }
 
    /*

Original file line number	Diff line number	Diff line change
`@@ -140,7 +140,7 @@ var WmOverride = class {`
`140`	`140`
`141`	`141`	`_notify() {`
`142`	`142`	`// Update the workspace display to match the number of workspaces.`
`143`		`- DisplayWrapper.getScreen().notify('n-workspaces');`
	`143`	`+ this.wsManager.notify('n-workspaces');`
`144`	`144`	`}`
`145`	`145`
`146`	`146`	`/*`