time in military format (24h, nn:mm)

[Roy Lanek]

How do you set the time format on the display of the toolbar? ... I am not
American and I am accustomed to see the 24h (military) format. Is there
some attribute to set on the style file? (I hope that this has not been
asked too often.)