While the device selection menu has dropped, the function of the left & right button changes. If one is held down, it temporarily stops IR codes from being sent as a side effect of switching devices. There's even a neat little animation of the Pronto 'turning its back on you' when you hold the button down.

Soon as you've switched devices, whatever you've programmed for the left & right buttons for the new device are restored.