DockableWindow.java

package org.gjt.sp.jedit.gui;

/** An interface for notifying MOVABLE dockable windows before their docking position is changed.
 *
 * @author Shlomy Reinstein
 * @version $Id$
 * @since jEdit 4.3pre11
 */

public interface DockableWindow {
	//{{{ Move notification
	/**
	 * Notifies a dockable window before its docking position is changed.
	 * @param newPosition The docking position to which the window is moving.
	 * @since jEdit 4.3pre11
	 */
	void move(String newPosition);
	//}}}
}