src/Pure/GUI/gui.scala

       "Table.font",
       "TableHeader.font",
       "TextArea.font",
       "TextField.font",
       "TextPane.font",
-      "Tooltip.font",
+      "ToolTip.font",
       "Tree.font"))
     {
       val font = ui.get(prop) match { case font: Font => font case _ => default_font }
       ui.put(prop, GUI.imitate_font(font))
     }