Bug time format from setting not respected in message details

Hi

I have set
Message Display > Time Format = ddd HH:mm:ss.fff
and it works in message list
(Date format defaults to m/d/yyyy)

but it have no effect on the time field in Message Details which shows a m/d/yyyy h:mm:ss tt

(I am on Windows 10, my windows date format is dd-MM-yyyy, time format HH:mm)