How do these work? Is it like going to the tiny settings menu and swapping the source on a monitor? I know the HDMI standard includes a way for an input to "request" a source to switch to it, are monitors with multiple inputs smarter about that sort of thing?