src/Tools/jEdit/plugin/Isabelle.props
changeset 41557 b46ec69f1c60
parent 40849 09270033330e
     1.1 --- a/src/Tools/jEdit/plugin/Isabelle.props	Fri Jan 14 20:22:27 2011 +0100
     1.2 +++ b/src/Tools/jEdit/plugin/Isabelle.props	Sat Jan 15 00:06:01 2011 +0100
     1.3 @@ -33,7 +33,7 @@
     1.4  options.isabelle.tooltip-margin=40
     1.5  options.isabelle.tooltip-dismiss-delay.title=Tooltip Dismiss Delay (global)
     1.6  options.isabelle.tooltip-dismiss-delay=8.0
     1.7 -options.isabelle.startup-timeout=10.0
     1.8 +options.isabelle.startup-timeout=25.0
     1.9  options.isabelle.auto-start.title=Auto Start
    1.10  options.isabelle.auto-start=true
    1.11