#3907 jEdit doesn't see if system time zone was changed.

[bdimych]

Hi
I use computer for life/time planning/management.
But I don't use special tools, just write everything as plain text.
So jEdit is one of my main and favorite tools
and I keep it always opened on my notebook with many buffers and windows.
Sometimes I'm having trips between time zones and I'm changing system time zones.
But unfortunately jEdit doesn't catch it and "Insert Date" macro inserts old time.
Only after restart it inserts correct time.

Steps to reproduce:
-Macros->Text->Insert Date
-change system time zone
-again Macros->Text->Insert Date
-see the same time
-restart jEdit
-again Macros->Text->Insert Date
-see correct time

Notebook:
Linux Mint 16 Petra
Java 1.7.0_55
jEdit 5.1.0

I also checked on Windows:
Windows 7 Home Premium 64
Java 1.7.0
jEdit 5.2pre1

[Alan Ezust]

I don't know if this is a bug in jEdit, or a bug in Java. Or what kind of event one must listen for in order to respond to such changes.

[Jordan Miner]

I am pretty sure this is a bug in Java, not jEdit.

The macro uses Calendar.getInstance() to get a Calendar, but I changed it to new GregorianCalendar() with the same result. I also tried the new java.time package, creating a ZonedDateTime, but it still returned the wrong time zone.

[Dale Anson]

I spent some time looking into this also, and my conclusion is this is a java issue, not a jEdit issue.