Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
prefer static Font -- evade spontaneous change of TextField.font seen with Metal L&F in Plugin Options / Isabelle / General / Apply;
authorwenzelm
Mon, 09 Nov 2015 22:16:04 +0100
changeset 61607 a99125aa964f
parent 61606 6d5213bd9709
child 61608 a0487caabb4a
child 61613 e4194168a1eb
prefer static Font -- evade spontaneous change of TextField.font seen with Metal L&F in Plugin Options / Isabelle / General / Apply;
src/Tools/jEdit/src/jedit_options.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/jedit_options.scala	Mon Nov 09 21:04:49 2015 +0100
+++ b/src/Tools/jEdit/src/jedit_options.scala	Mon Nov 09 22:16:04 2015 +0100
@@ -9,7 +9,7 @@
 
 import isabelle._
 
-import java.awt.Color
+import java.awt.{Font, Color}
 import javax.swing.{InputVerifier, JComponent, UIManager}
 import javax.swing.text.JTextComponent
 
@@ -91,7 +91,8 @@
         val default_font = UIManager.getFont("TextField.font")
         val text_area =
           new TextArea with Option_Component {
-            if (default_font != null) font = default_font
+            if (default_font != null) font =
+              new Font(default_font.getFamily, default_font.getStyle, default_font.getSize)
             name = opt_name
             val title = opt_title
             def load = text = value.check_name(opt_name).value
isabelle