increased startup-timeout to accommodate slow systems (especially Windows/Cygwin);
authorwenzelm
Sat Jan 15 00:06:01 2011 +0100 (2011-01-15)
changeset 41557b46ec69f1c60
parent 41556 f55d564e0521
child 41558 236cd8f07f7b
increased startup-timeout to accommodate slow systems (especially Windows/Cygwin);
src/Tools/jEdit/plugin/Isabelle.props
     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