equal
deleted
inserted
replaced
50 |
50 |
51 * Action "isabelle-session-browser" points the File Browser to session |
51 * Action "isabelle-session-browser" points the File Browser to session |
52 information, based on the "isabelle-session:" virtual file-system. Its |
52 information, based on the "isabelle-session:" virtual file-system. Its |
53 entries are structured according to chapter / session names, the open |
53 entries are structured according to chapter / session names, the open |
54 operation is redirected to the session ROOT file. |
54 operation is redirected to the session ROOT file. |
|
55 |
|
56 * System option "jedit_text_overview" allows to disable the text |
|
57 overview column. |
55 |
58 |
56 * Fonts for the text area, gutter, GUI elements etc. use the "Isabelle |
59 * Fonts for the text area, gutter, GUI elements etc. use the "Isabelle |
57 DejaVu" collection by default, which provides uniform rendering quality |
60 DejaVu" collection by default, which provides uniform rendering quality |
58 with the usual Isabelle symbols. Line spacing no longer needs to be |
61 with the usual Isabelle symbols. Line spacing no longer needs to be |
59 adjusted: properties for the old IsabelleText font had "Global Options / |
62 adjusted: properties for the old IsabelleText font had "Global Options / |