changeset 27985 | fb774d10ea4c |
parent 25851 | 606850a6fc1a |
1.1 --- a/lib/jedit/plugin/dockables.xml Sun Aug 24 17:23:42 2008 +0200 1.2 +++ b/lib/jedit/plugin/dockables.xml Sun Aug 24 18:11:20 2008 +0200 1.3 @@ -4,7 +4,7 @@ 1.4 1.5 <DOCKABLES> 1.6 <DOCKABLE NAME="isabelle" MOVABLE="TRUE"> 1.7 - new isabelle.IsabelleDock(view, position); 1.8 + new isabelle.jedit.IsabelleDock(view, position); 1.9 </DOCKABLE> 1.10 </DOCKABLES> 1.11