50 |
50 |
51 * The Monitor dockable provides buttons to request a full garbage |
51 * The Monitor dockable provides buttons to request a full garbage |
52 collection and sharing of live data on the ML heap. It also includes |
52 collection and sharing of live data on the ML heap. It also includes |
53 information about the Java Runtime system. |
53 information about the Java Runtime system. |
54 |
54 |
55 * Action "full-screen-mode" (shortcut F11 or S+F11) has been modified |
|
56 for better approximate window size on macOS and Linux/X11. This is |
|
57 particularly important for macOS 11.1 Big Sur, where the native |
|
58 full-screen mode is incompatible with Java window management: it puts |
|
59 dialog windows into an unusable state (Search, Hypersearch, etc.). |
|
60 |
|
61 * PIDE support for session ROOTS: markup for directories. |
55 * PIDE support for session ROOTS: markup for directories. |
62 |
56 |
63 * Update to jedit-5.6.0, the latest release. This version works properly |
57 * Update to jedit-5.6.0, the latest release. This version works properly |
64 on macOS by default, without the special MacOSX plugin. |
58 on macOS by default, without the special MacOSX plugin. |
|
59 |
|
60 * On macOS Big Sur full-screen mode works requires to change "System |
|
61 Preferences / General / Prefer tabs: in full screen" to never. |
|
62 |
|
63 * Action "full-screen-mode" (shortcut F11 or S+F11) has been modified |
|
64 for better approximate window size on macOS and Linux/X11. |
65 |
65 |
66 |
66 |
67 *** Document preparation *** |
67 *** Document preparation *** |
68 |
68 |
69 * Keyword 'document_theories' within ROOT specifies theories from other |
69 * Keyword 'document_theories' within ROOT specifies theories from other |