| changeset 34342 | b2781f2cd80a |
| parent 34318 | c13e168a8ae6 |
| child 34344 | 3775958051c5 |
--- 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