internal void SwitchToWorkspace(Workspace workspace) { CurrentVisibleWorkspace.Unswitch(); // hides or shows the Windows taskbar if (screen.Primary && workspace.ShowWindowsTaskbar != isWindowsTaskbarShown) { ShowHideWindowsTaskbar(workspace.ShowWindowsTaskbar); } var previousVisibleWorkspace = CurrentVisibleWorkspace; CurrentVisibleWorkspace = workspace; workspace.SwitchTo(); var oldWorkspace = workspaces[previousVisibleWorkspace]; var newWorkspace = workspaces[workspace]; // hides the Bars for the old workspace and shows the new ones if (newWorkspace.Item1 != oldWorkspace.Item1) { ShowHideBars(oldWorkspace.Item2, oldWorkspace.Item3, newWorkspace.Item2, newWorkspace.Item3, previousVisibleWorkspace, workspace); } }
internal void SwitchToWorkspace(Workspace workspace) { CurrentVisibleWorkspace.Unswitch(); HideBars(workspace, CurrentVisibleWorkspace); // hides or shows the Windows taskbar if (screen.Primary && workspace.ShowWindowsTaskbar != isWindowsTaskbarShown) { ShowHideWindowsTaskbar(workspace.ShowWindowsTaskbar); } ShowHideAppBars(CurrentVisibleWorkspace, workspace); CurrentVisibleWorkspace = workspace; ShowBars(CurrentVisibleWorkspace); workspace.SwitchTo(); }