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();
}