I'd like to find out how as well :)
One alternative would be to undock the devtools from the window, and then just alt + tab to switch between the two windows.It would be a nice to have shortcut though, so you could keep it docked and still switch with a shortcut key.