Date-time format used by the IDEA's UI
Hi all,
Is there a way to specify the date/time format used by IDEA's UI (IDEA
7), especially in the CVS-related functionalities. The USA-format
mm/dd/yyyy drives me crazy. Would like to use EU format dd.mm.yyyy.
Some clues? Shall I fire a new JIRA?
Greetings,
George
Please sign in to leave a comment.
Hello George,
What is your default locale? IntelliJ IDEA is supposed to use the user's
default locale for formatting dates in the UI, and I don't think that any
additional settings (particularly specific to a single feature) should be
introduced.
--
Dmitry Jemerov
Development Lead
JetBrains, Inc.
http://www.jetbrains.com/
"Develop with Pleasure!"
Dmitry Jemerov wrote:
Dmitry,
Thanks for your response.
I use English (USA) locale, right. But its date format is customized to
be dd.mm.YYYY (WinXP). Well, I know that (unfortunately) Sun Java(tm)
has its own hardcoded idea about the date/time/currency format for a
specific locale and does not take into account that I have customized my
locale in the Control Panel (don't remember if Sun has made some steps
forward better native desktop integration related to user's locale in
Java SE 6...).
That is why I suggest that IDEA might allow the user to specify the
date/time format, and of course this can be used not only in the
VCS-related UI.
P.S. No, I cannot change the host locale, unfortunately :(:(
P.P.S Depending on how and when exactly the IDEA's core invokes
Locale.getDefault() and if the result is cached internally or not,
setting user-defined customized locale, independent from the host OS
locale, might be done by a plugin (e.g.
Locale.setDefault(readLocaleFromSettingsResource()); ). How do you think?
Greetings,
George
I haven't tried, but I think it should be possible to specify Idea's locale by adding these lines
to the idea.exe.vmoptions file found in Idea's bin folder like this:
-Duser.language=de
-Duser.country=DE
Stephen Friedrich wrote:
Just tried this and at a first glance it does the job! Thank you, Stephen!
de_DE locale's short date/time format is dd.MM.yyyy hh:mm:ss, exactly
what I needed. Thanks again!
Greetings,
George
Usually this setting is taken from OS system wide configuration, you should probably have a look at how your machine is configured