# HG changeset patch
# User wenzelm
# Date 1295046361 -3600
# Node ID b46ec69f1c6018321101e08d6075ee719dc4cc0d
# Parent  f55d564e0521cfbba2728bb557a240515e8bf0b4
increased startup-timeout to accommodate slow systems (especially Windows/Cygwin);

diff -r f55d564e0521 -r b46ec69f1c60 src/Tools/jEdit/plugin/Isabelle.props
--- 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