If you experience any strangeness with the Windows GUI and need to reset the Windows graphics stack, like I occasionally do, this can be a rather useful shortcut to remember.