diff -r 6df5642a2204 -r b2781f2cd80a src/Tools/jEdit/plugin/dockables.xml
--- a/src/Tools/jEdit/plugin/dockables.xml	Wed Oct 22 23:52:40 2008 +0200
+++ b/src/Tools/jEdit/plugin/dockables.xml	Thu Oct 23 14:16:04 2008 +0200
@@ -9,4 +9,7 @@
 	<DOCKABLE NAME="Isabelle_state">
 		new isabelle.jedit.StateViewDockable(view, position);
 	</DOCKABLE>
+	<DOCKABLE NAME="Isabelle_scroller">
+		new isabelle.jedit.XMLScroller(view, position);
+	</DOCKABLE>
 </DOCKABLES>
\ No newline at end of file