I have xrandr before and after and the monitor was detected in both cases. I ran:
xrandr > before.log #before locking the screen
xrandr > after.log #after locking the screen and the external monitor is no longer in use
diff before.log after.log which results in:
1,2c1,2
< Screen 0: minimum 8 x 8, current 3840 x 4320, maximum 32767 x 32767
< eDP-1-1 connected primary 3840x2160+0+2160 (normal left inverted right x axis y axis) 344mm x 194mm
---
> Screen 0: minimum 8 x 8, current 3840 x 2160, maximum 32767 x 32767
> eDP-1-1 connected primary 3840x2160+0+0 (normal left inverted right x axis y axis) 344mm x 194mm
64c64
< HDMI-1-2 connected 3840x2160+0+0 (normal left inverted right x axis y axis) 697mm x 392mm
---
> HDMI-1-2 connected (normal left inverted right x axis y axis)
66c66
< 3840x2160 30.00* 25.00 24.00 29.97 23.98
---
> 3840x2160 30.00 25.00 24.00 29.97 23.98
Daniel:
I have xrandr before and after and the monitor was detected in both cases. I ran:
xrandr > before.log #before locking the screen
xrandr > after.log #after locking the screen and the external monitor is no longer in use
diff before.log after.log which results in:
1,2c1,2
< Screen 0: minimum 8 x 8, current 3840 x 4320, maximum 32767 x 32767
< eDP-1-1 connected primary 3840x2160+0+2160 (normal left inverted right x axis y axis) 344mm x 194mm
---
> Screen 0: minimum 8 x 8, current 3840 x 2160, maximum 32767 x 32767
> eDP-1-1 connected primary 3840x2160+0+0 (normal left inverted right x axis y axis) 344mm x 194mm
64c64
< HDMI-1-2 connected 3840x2160+0+0 (normal left inverted right x axis y axis) 697mm x 392mm
---
> HDMI-1-2 connected (normal left inverted right x axis y axis)
66c66
< 3840x2160 30.00* 25.00 24.00 29.97 23.98
---
> 3840x2160 30.00 25.00 24.00 29.97 23.98