[mutter] workspace-manager: Allow workspace layout to be overridden

[Jonas Ådahl <jadahl src gnome org>]

commit 92cccf53dfe9e077f1d61ac4f896fd391f8cb689
Author: Ron Yorston <rmy pobox com>
Date:   Tue Oct 2 15:14:52 2018 +0100

    workspace-manager: Allow workspace layout to be overridden
    
    meta_workspace_manager_override_workspace_layout is implemented by
    calling meta_workspace_manager_update_workspace_layout which
    respects the workspace_layout_overridden flag.  After the first call
    to meta_workspace_manager_override_workspace_layout all subsequent
    calls fail silently.
    
    Reset workspace_layout_overridden to FALSE before calling
    meta_workspace_manager_update_workspace_layout.
    
    https://gitlab.gnome.org/GNOME/mutter/issues/270

 src/core/meta-workspace-manager.c | 2 ++
 1 file changed, 2 insertions(+)
---
diff --git a/src/core/meta-workspace-manager.c b/src/core/meta-workspace-manager.c
index 2670f4938..abc819db0 100644
--- a/src/core/meta-workspace-manager.c
+++ b/src/core/meta-workspace-manager.c
@@ -496,6 +496,8 @@ meta_workspace_manager_override_workspace_layout (MetaWorkspaceManager *workspac
                                                   int                   n_rows,
                                                   int                   n_columns)
 {
+  workspace_manager->workspace_layout_overridden = FALSE;
+
   meta_workspace_manager_update_workspace_layout (workspace_manager,
                                                   starting_corner,
                                                   vertical_layout,