В BetterDisplay можно настроить быстрое переключение между HDMI и Display Port:
Если есть лицензия, то можно назначить горячие клавиши.