MOVABLE="TRUE" reuses existing instance when changing docking position --
cf. http://www.jedit.org/api/org/gjt/sp/jedit/gui/DockableWindowManager.html
--- a/src/Tools/jEdit/plugin/dockables.xml Sat Dec 20 12:17:43 2008 +0100
+++ b/src/Tools/jEdit/plugin/dockables.xml Sat Dec 20 12:32:40 2008 +0100
@@ -3,13 +3,13 @@
<!DOCTYPE DOCKABLES SYSTEM "dockables.dtd">
<DOCKABLES>
- <DOCKABLE NAME="Isabelle_output">
+ <DOCKABLE NAME="Isabelle_output" MOVABLE="TRUE">
new isabelle.jedit.OutputDockable(view, position);
</DOCKABLE>
- <DOCKABLE NAME="Isabelle_state">
+ <DOCKABLE NAME="Isabelle_state" MOVABLE="TRUE">
new isabelle.jedit.StateViewDockable(view, position);
</DOCKABLE>
- <DOCKABLE NAME="Isabelle_scroller">
+ <DOCKABLE NAME="Isabelle_scroller" MOVABLE="TRUE">
new isabelle.jedit.ScrollerDockable(view, position);
</DOCKABLE>
</DOCKABLES>
\ No newline at end of file