#1734 Add timestamp to log

[Jean-Christophe Helary]

The log does not include timestamps for actions.
It should, for debugging purposes.

[Hiroshi Miura]

As you know , when debugging, you can edit logger.properties (github.com) to customize log messages.

in default

org.omegat.util.logging.OmegaTLogFormatter.mask=$mark: $level: $text $key
#org.omegat.util.logging.OmegaTLogFormatter.mask=$time: $threadName [$level] $key $text

#org.omegat.util.logging.OmegaTLogFormatter.timeFormat=HH:mm:ss,SSSS

You can edit uncomment a sample such as

#org.omegat.util.logging.OmegaTLogFormatter.mask=$mark: $level: $text $key
org.omegat.util.logging.OmegaTLogFormatter.mask=$time: $threadName [$level] $key $text

org.omegat.util.logging.OmegaTLogFormatter.timeFormat=HH:mm:ss,SSSS

OmegaT can launched with customized properties when you put your logger.properties file in your users .omegat/ folder or adding a java property -Djava.util.logging.file=foo/boo/logger.properties.

[Jean-Christophe Helary]

No. I don't know that.

I don't think that's documented in the manual.

And I think the default should have a time stamp instead of an arbitrary number that does not seem to mean anything.

[Hiroshi Miura]

https://github.com/omegat-org/omegat/pull/1077