src/Tools/jEdit/src/jEdit.props

--- a/src/Tools/jEdit/src/jEdit.props	Tue Feb 04 01:35:48 2014 +0100
+++ b/src/Tools/jEdit/src/jEdit.props	Tue Feb 04 09:04:59 2014 +0000
@@ -189,6 +189,7 @@
 isabelle-output.height=174
 isabelle-output.width=412
 isabelle-sledgehammer.dock-position=bottom
+isabelle-simp-trace.dock-position=bottom
 isabelle-symbols.dock-position=bottom
 isabelle-theories.dock-position=right
 isabelle.complete.label=Complete Isabelle text