equal
deleted
inserted
replaced
34 |
34 |
35 *** Isabelle/jEdit Prover IDE *** |
35 *** Isabelle/jEdit Prover IDE *** |
36 |
36 |
37 * Fonts for the text area, gutter, GUI elements etc. use the "Isabelle |
37 * Fonts for the text area, gutter, GUI elements etc. use the "Isabelle |
38 DejaVu" collection by default, which provides uniform rendering quality |
38 DejaVu" collection by default, which provides uniform rendering quality |
39 with the usual Isabelle symbols. For Java/Swing GUI elements this |
39 with the usual Isabelle symbols. Line spacing no longer needs to be |
40 requires the Metal look-and-feel: it is the default on Linux, but not |
40 adjusted: properties for the old IsabelleText font had "Global Options / |
41 macOS nor Windows. Line spacing no longer needs to be adjusted: |
41 Text Area / Extra vertical line spacing (in pixels): -2", now it |
42 properties for the old IsabelleText font had "Global Options / Text Area |
42 defaults to 0. |
43 / Extra vertical line spacing (in pixels): -2", now it defaults to 0. |
|
44 |
43 |
45 * Improved sub-pixel font rendering (especially on Linux), thanks to |
44 * Improved sub-pixel font rendering (especially on Linux), thanks to |
46 OpenJDK 11. |
45 OpenJDK 11. |
47 |
46 |
48 * Support for user-defined file-formats via class isabelle.File_Format |
47 * Support for user-defined file-formats via class isabelle.File_Format |