Fix Sessions Plugin Load Sessions

jEdit is a programmer's text editor written in Java.

Brought to you by: daleanson, ezust, grepppo, k_satoda, and 5 others

Status: open

Owner: nobody

Labels: None

Priority: 5

Updated: 2020-02-09

Created: 2020-02-09

Private: No

The trunk build of sessions wouldn't compile because it referred to HashMap.Entry, rather than Map.Entry.
(At least for me), it wouldn't load session XML files because localName (cf. name) was blank when the XML file was parsed.

1 Attachments

sessions.patch