changeset 73340 | 0ffcad1f6130 |
parent 69374 | ab66951166f3 |
child 75393 | 87ebf5a50283 |
--- a/src/Pure/System/isabelle_fonts.scala Mon Mar 01 20:12:09 2021 +0100 +++ b/src/Pure/System/isabelle_fonts.scala Mon Mar 01 22:22:12 2021 +0100 @@ -71,7 +71,7 @@ /* system init */ - def init() + def init(): Unit = { val ge = GraphicsEnvironment.getLocalGraphicsEnvironment() for (entry <- fonts()) ge.registerFont(entry.font)