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);
//}}}
}