src/Tools/jEdit/plugin/Isabelle.props

--- a/src/Tools/jEdit/plugin/Isabelle.props	Mon May 31 09:46:43 2010 +0200
+++ b/src/Tools/jEdit/plugin/Isabelle.props	Mon May 31 09:47:41 2010 +0200
@@ -28,7 +28,7 @@
 options.isabelle.relative-font-size.title=Relative Font Size
 options.isabelle.relative-font-size=100
 options.isabelle.tooltip-font-size.title=Tooltip Font Size
-options.isabelle.tooltip-font-size=4
+options.isabelle.tooltip-font-size=10
 options.isabelle.startup-timeout=10000
 
 #menu actions