equal
deleted
inserted
replaced
23 Ongoing ML ongoing garbage collection is shown as "ML cleanup". |
23 Ongoing ML ongoing garbage collection is shown as "ML cleanup". |
24 |
24 |
25 * The Monitor dockable provides buttons to request a full garbage |
25 * The Monitor dockable provides buttons to request a full garbage |
26 collection and sharing of live data on the ML heap. It also includes |
26 collection and sharing of live data on the ML heap. It also includes |
27 information about the Java Runtime system. |
27 information about the Java Runtime system. |
|
28 |
|
29 * PIDE support for session ROOTS: markup for directories. |
28 |
30 |
29 * Update to jedit-5.6.0, the latest release. This version works properly |
31 * Update to jedit-5.6.0, the latest release. This version works properly |
30 on macOS by default, without the special MacOSX plugin. |
32 on macOS by default, without the special MacOSX plugin. |
31 |
33 |
32 |
34 |