MOVABLE="TRUE" reuses existing instance when changing docking position --   cf. http://www.jedit.org/api/org/gjt/sp/jedit/gui/DockableWindowManager.html
MOVABLE="TRUE" reuses existing instance when changing docking position --
  cf. http://www.jedit.org/api/org/gjt/sp/jedit/gui/DockableWindowManager.html

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle