equal
deleted
inserted
replaced
8 </DOCKABLE> |
8 </DOCKABLE> |
9 <DOCKABLE NAME="Isabelle_state"> |
9 <DOCKABLE NAME="Isabelle_state"> |
10 new isabelle.jedit.StateViewDockable(view, position); |
10 new isabelle.jedit.StateViewDockable(view, position); |
11 </DOCKABLE> |
11 </DOCKABLE> |
12 <DOCKABLE NAME="Isabelle_scroller"> |
12 <DOCKABLE NAME="Isabelle_scroller"> |
13 new isabelle.jedit.XMLScroller(view, position); |
13 new isabelle.jedit.LazyScroller(view, position); |
14 </DOCKABLE> |
14 </DOCKABLE> |
15 </DOCKABLES> |
15 </DOCKABLES> |