src/Tools/jEdit/plugin/Isabelle.props

--- a/src/Tools/jEdit/plugin/Isabelle.props	Sun May 30 23:40:24 2010 +0200
+++ b/src/Tools/jEdit/plugin/Isabelle.props	Sun May 30 23:42:03 2010 +0200
@@ -27,6 +27,8 @@
 options.isabelle.logic.title=Logic
 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.startup-timeout=10000
 
 #menu actions