A simpler workaround: pressing Fn-Home/Fn-End (screen brightness control keys) after plugging in the DisplayPort cable also triggers detection.
A simpler workaround: pressing Fn-Home/Fn-End (screen brightness control keys) after plugging in the DisplayPort cable also triggers detection.