equal
deleted
inserted
replaced
53 |
53 |
54 * Fonts for the text area, gutter, GUI elements etc. use the "Isabelle |
54 * Fonts for the text area, gutter, GUI elements etc. use the "Isabelle |
55 DejaVu" collection by default, which provides uniform rendering quality |
55 DejaVu" collection by default, which provides uniform rendering quality |
56 with the usual Isabelle symbols. Line spacing no longer needs to be |
56 with the usual Isabelle symbols. Line spacing no longer needs to be |
57 adjusted: properties for the old IsabelleText font had "Global Options / |
57 adjusted: properties for the old IsabelleText font had "Global Options / |
58 Text Area / Extra vertical line spacing (in pixels): -2", now it |
58 Text Area / Extra vertical line spacing (in pixels): -2", it now |
59 defaults to 0. |
59 defaults to 1, but 0 works as well. |
60 |
60 |
61 * The jEdit File Browser is more prominent in the default GUI layout of |
61 * The jEdit File Browser is more prominent in the default GUI layout of |
62 Isabelle/jEdit: various virtual file-systems provide access to Isabelle |
62 Isabelle/jEdit: various virtual file-systems provide access to Isabelle |
63 resources, notably via "favorites:" (or "Edit Favorites"). |
63 resources, notably via "favorites:" (or "Edit Favorites"). |
64 |
64 |