Hi. I have set my "Day header date format" to "EEE d MMM". This produces dates like "Sun 11 Aug". This mostly works fine, other than dates in September which show like "Mon 9 Sept" not "Mon 9 Sep" as I'd expect.
Searching around this seems to be a problem with the old SimpleDateFormat API and the advice appears to be to change to the more modern java.time API. Is this possible?
Thanks for reading, and for this widget, which I have used for many years :)
Hi. I have set my "Day header date format" to "EEE d MMM". This produces dates like "Sun 11 Aug". This mostly works fine, other than dates in September which show like "Mon 9 Sept" not "Mon 9 Sep" as I'd expect.
Searching around this seems to be a problem with the old SimpleDateFormat API and the advice appears to be to change to the more modern java.time API. Is this possible?
Thanks for reading, and for this widget, which I have used for many years :)