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.
more Isabelle fonts, notably for PanelWindowContainer buttons with Windows L&F;
authorwenzelm
Sun, 29 Nov 2020 23:23:32 +0100
changeset 72786 21ff9c1a4644
parent 72785 8d6af6ab7d4d
child 72787 979c648ac814
child 72795 f7bc71ab19db
more Isabelle fonts, notably for PanelWindowContainer buttons with Windows L&F;
src/Pure/GUI/gui.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/GUI/gui.scala	Sun Nov 29 21:58:40 2020 +0100
+++ b/src/Pure/GUI/gui.scala	Sun Nov 29 23:23:32 2020 +0100
@@ -251,6 +251,7 @@
     val default_font = label_font()
     val ui = UIManager.getDefaults
     for (prop <- List(
+      "ToggleButton.font",
       "CheckBoxMenuItem.font",
       "Label.font",
       "Menu.font",
isabelle