src/Tools/jEdit/plugin/Isabelle.props

 options.isabelle.tooltip-font-size.title=Tooltip Font Size
 options.isabelle.tooltip-font-size=10
 options.isabelle.tooltip-margin.title=Tooltip Margin
 options.isabelle.tooltip-margin=40
 options.isabelle.tooltip-dismiss-delay.title=Tooltip Dismiss Delay (global)
-options.isabelle.tooltip-dismiss-delay=8000
+options.isabelle.tooltip-dismiss-delay=8.0
 options.isabelle.startup-timeout=10.0
 options.isabelle.auto-start.title=Auto Start
 options.isabelle.auto-start=true
 
 #menu actions