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 Initialize()
{
var workspaceTuple = workspaces[CurrentVisibleWorkspace];
ShowHideBars(null, null, workspaceTuple.Item2, workspaceTuple.Item3, CurrentVisibleWorkspace, CurrentVisibleWorkspace);
CurrentVisibleWorkspace.SwitchTo();
}
internal void Initialize()
{
ShowHideAppBars(null, CurrentVisibleWorkspace);
ShowBars(CurrentVisibleWorkspace);
CurrentVisibleWorkspace.SwitchTo();
}
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();
}
