# HG changeset patch
# User wenzelm
# Date 1610141432 -3600
# Node ID c87ca43ebd3b33565df58d173f995420e953499d
# Parent  783406dd051ed851c09621f093d793aba3e5f96f
avoid rescaled fonts, e.g. dockable buttons on Windows L&F after opening a new view;

diff -r 783406dd051e -r c87ca43ebd3b src/Tools/jEdit/src-base/plugin.scala
--- 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()
diff -r 783406dd051e -r c87ca43ebd3b src/Tools/jEdit/src/plugin.scala
--- a/src/Tools/jEdit/src/plugin.scala	Fri Jan 08 19:52:10 2021 +0100
+++ b/src/Tools/jEdit/src/plugin.scala	Fri Jan 08 22:30:32 2021 +0100
@@ -401,8 +401,6 @@
             if (buffer != null && text_area != null) init_view(buffer, text_area)
           }
 
-          GUI.use_isabelle_fonts()
-
           spell_checker.update(options.value)
           session.update_options(options.value)