Change dash clock to 24h format?

[MassMan]

Is it possible to change the clock to 24h format? It annoys me that it displays for instance 3:03 instead of 15:03.

I've looked in the manual without finding anything.

 

[Peter]

Not possible.

 

[McCracken]

intelligent design