src/Tools/jEdit/plugin/Isabelle.props

--- a/src/Tools/jEdit/plugin/Isabelle.props	Mon Sep 27 20:26:10 2010 +0200
+++ b/src/Tools/jEdit/plugin/Isabelle.props	Mon Sep 27 21:16:42 2010 +0200
@@ -32,6 +32,7 @@
 options.isabelle.tooltip-dismiss-delay.title=Tooltip Dismiss Delay (global)
 options.isabelle.tooltip-dismiss-delay=8000
 options.isabelle.startup-timeout=10000
+options.isabelle.auto-start.title=Auto Start
 options.isabelle.auto-start=true
 
 #menu actions