--- a/src/Tools/jEdit/src-base/plugin.scala Fri Jan 08 19:52:10 2021 +0100
+++ b/src/Tools/jEdit/src-base/plugin.scala Fri Jan 08 22:30:32 2021 +0100
@@ -19,6 +19,8 @@
{
Isabelle_System.init()
+ GUI.use_isabelle_fonts()
+
Debug.DISABLE_SEARCH_DIALOG_POOL = true
Syntax_Style.dummy_style_extender()