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