diff --git a/src/Widgets/WorkspaceView.vala b/src/Widgets/WorkspaceView.vala index ac95c762..f16c7b53 100644 --- a/src/Widgets/WorkspaceView.vala +++ b/src/Widgets/WorkspaceView.vala @@ -42,7 +42,7 @@ namespace Gala } set { _workspace = value; - if ((int) workspaces.get_children ().nth_data (_workspace).x != 0) + if ((int) workspaces.get_children ().nth_data (_workspace).x != 0 || _workspace == 0) last_workspace_x = workspaces.get_children ().nth_data (_workspace).x; current_workspace.animate (Clutter.AnimationMode.EASE_IN_OUT_SINE, 400, x : workspaces.x + last_workspace_x - 5); @@ -382,7 +382,7 @@ namespace Gala workspaces.y = 25; workspace = plugin.screen.get_active_workspace ().index (); - print ("WORKSPACE: %i\n", workspace); + current_workspace.y = workspaces.y - 5; visible = true;