window-list won't start on Gnome 3.28 (with ubuntu 18.04)
global.get_overrides_settings()
returns null
- This hot fix makes it working again :
let settings = global.get_overrides_settings();
if (settings && settings.list_keys().indexOf('workspaces-only-on-primary') > -1)
return settings;
return this._mutterSettings;
}