mirror of
https://github.com/brl/mutter.git
synced 2024-11-13 01:36:10 -05:00
default plugin: Fix workspace switch type error
Signed-off-by: Jonas Ådahl <jadahl@gmail.com> https://bugzilla.gnome.org/show_bug.cgi?id=723563
This commit is contained in:
parent
66fc32ee14
commit
183ad75603
@ -407,9 +407,11 @@ switch_workspace (MetaPlugin *plugin,
|
||||
MetaWindowActor *window_actor = l->data;
|
||||
ActorPrivate *apriv = get_actor_private (window_actor);
|
||||
ClutterActor *actor = CLUTTER_ACTOR (window_actor);
|
||||
MetaWorkspace *workspace;
|
||||
gint win_workspace;
|
||||
|
||||
win_workspace = meta_window_get_workspace (meta_window_actor_get_meta_window (window_actor));
|
||||
workspace = meta_window_get_workspace (meta_window_actor_get_meta_window (window_actor));
|
||||
win_workspace = meta_workspace_index (workspace);
|
||||
|
||||
if (win_workspace == to || win_workspace == from)
|
||||
{
|
||||
|
Loading…
Reference in New Issue
Block a user