Yep, similar - I just use a wired USB hub that can toggle between two outputs.

I just have the monitors auto-switch on (lack of) input when I put one machine to sleep. The single click buttons on the monitor also switch.