diff options
| author | Jonas Ådahl <jadahl@gmail.com> | 2022-11-23 10:26:55 +0100 |
|---|---|---|
| committer | Robert Mader <robert.mader@collabora.com> | 2023-01-06 13:50:41 +0100 |
| commit | 82e2bb6008cab1dd77bb71168a8d1a2d14ab7cb9 (patch) | |
| tree | d72efc7787339c3ab0f8c26ccacbc3b15e958ef6 | |
| parent | 5cd077511565bb8631310a73b0c0a954b57f0c72 (diff) | |
| download | mutter-82e2bb6008cab1dd77bb71168a8d1a2d14ab7cb9.tar.gz | |
workspace: Sanity check input to activate*()
The passed argument should be a workspace, and it should not have been
removed.
Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/2707>
(cherry picked from commit e709853ad3d043ee2ed72e75fbda0c225e30eda7)
| -rw-r--r-- | src/core/workspace.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/core/workspace.c b/src/core/workspace.c index d82158e95..e933995f3 100644 --- a/src/core/workspace.c +++ b/src/core/workspace.c @@ -577,6 +577,9 @@ meta_workspace_activate_with_focus (MetaWorkspace *workspace, gint num_workspaces, current_space, new_space; MetaMotionDirection direction; + g_return_if_fail (META_IS_WORKSPACE (workspace)); + g_return_if_fail (meta_workspace_index (workspace) != -1); + meta_verbose ("Activating workspace %d", meta_workspace_index (workspace)); |