#3280 Status bar clock does not respect host OS format

[Basil Bourque]

On Windows XP SP3 running Java 1.6.0_14-b08 with jEdit 4.3pre16:

I have Windows Region and Language Options set to show time in 24-hour clock instead of the usual US 12-hour clock.

jEdit does not pick up on this setting. The status bar of jEdit shows 12-hour time.

[Matthieu Casanova]

Hi, I'm sorry but it is not possible to java to access this information, the only choice we have is to use the default locale settings.
It could be possible to add a settings to choose the format in the option panel if you think it is necessary