Ejemplo n.º 1
0
        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);
            }
        }
Ejemplo n.º 2
0
        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();
        }