--- a/src/Tools/jEdit/src-base/plugin.scala Tue Jan 05 20:53:57 2021 +0100
+++ b/src/Tools/jEdit/src-base/plugin.scala Tue Jan 05 21:46:35 2021 +0100
@@ -19,6 +19,8 @@
{
Isabelle_System.init()
+ GUI.set_application_icon()
+
Debug.DISABLE_SEARCH_DIALOG_POOL = true
Syntax_Style.dummy_style_extender()