--- a/src/Pure/Tools/main.scala	Fri Jan 08 22:30:32 2021 +0100
+++ b/src/Pure/Tools/main.scala	Fri Jan 08 23:59:28 2021 +0100
@@ -26,6 +26,8 @@
           Isabelle_System.init()
           Isabelle_Fonts.init()
 
+          GUI.setup_lafs()
+
 
           /* ROOTS template */
changeset 73111	01f4965fd09b
parent 73095	d08cbc36a99a
child 73117	6a6e987552c7