VLC : OSD time changing from hh:mm:ss/hh:mm:ss to hh:mm:ss.xxx/hh:mm:ss

[Bonie81]

In VLC, is it possible to change OSD timer from hh: mm: ss/hh: mm: ss to hh: mm: ss.xxx/hh: mm: ss to display fractions of seconds?