Maybe solving your problem in other ways: 0: I use `ddcutil` (on Linux), it takes about 2 seconds for the switch: `ddcutil -b $bus setvcp 0x60 $source` 1: Use

Maybe solving your problem in other ways: 0: I use `ddcutil` (on Linux), it takes about 2 seconds for the switch: `ddcutil -b $bus setvcp 0x60 $source` 1: Use something like NoMachine or VLC - would probably cause more problems if you've got devices that go into power-save mode 2: Ensuring that your devices are outputting the exact same mode may decrease the time.