Windows: virtual desktops

Shortcut keys related to the desktop:

• windows + ctrl + d creates a new virtual desktop
• windows + ctrl + left/right arrow move between virtual desktops.
• windows + ctrl + f4 closes the current virtual desktop.