From: <sh...@us...> - 2008-08-22 12:23:27
|
Revision: 13387 http://jedit.svn.sourceforge.net/jedit/?rev=13387&view=rev Author: shlomy Date: 2008-08-22 12:23:25 +0000 (Fri, 22 Aug 2008) Log Message: ----------- Dispose of a tool window. Called when unloading a plugin, to dispose of all its dockables. Modified Paths: -------------- plugins/DockingFramesPlugin/trunk/src/dockingFrames/DfWindowManager.java Modified: plugins/DockingFramesPlugin/trunk/src/dockingFrames/DfWindowManager.java =================================================================== --- plugins/DockingFramesPlugin/trunk/src/dockingFrames/DfWindowManager.java 2008-08-22 12:23:01 UTC (rev 13386) +++ plugins/DockingFramesPlugin/trunk/src/dockingFrames/DfWindowManager.java 2008-08-22 12:23:25 UTC (rev 13387) @@ -295,6 +295,16 @@ focusDockable(name); } + @Override + public void disposeDockableWindow(String name) { + Dockable d = created.get(name); + if (d != null) { + if (d.getController() != null) + d.getDockParent().drag(d); + created.remove(name); + } + } + private void drop(Dockable dockable, Side side) { Leaf leaf = find(center.getRoot(), side); This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |