Just wondering if anyone has figured out a way to switch sources on the new Xiaomi's without going through a bunch of menu options? My old monitor had a "source" button, I'd …