| changeset 72837 | 2c26c283f3ee |
| parent 72810 | b00ee476151b |
| child 72876 | 626fcaebd049 |
--- a/NEWS Sun Dec 06 16:14:16 2020 +0100 +++ b/NEWS Sun Dec 06 16:27:37 2020 +0100 @@ -26,6 +26,8 @@ collection and sharing of live data on the ML heap. It also includes information about the Java Runtime system. +* PIDE support for session ROOTS: markup for directories. + * Update to jedit-5.6.0, the latest release. This version works properly on macOS by default, without the special MacOSX plugin.