01: package org.gjt.sp.jedit.gui;
02:
03: /**
04: * <p>An interface for notifying MOVABLE dockable windows before their docking
05: * position is changed. </p>
06: *
07: * @author Shlomy Reinstein
08: * @version $Id: DockableWindow.java 10573 2007-09-14 02:04:59Z ezust $
09: * @since jEdit 4.3pre11
10: */
11:
12: public interface DockableWindow {
13: //{{{ Move notification
14: /**
15: * Notifies a dockable window before its docking position is changed.
16: * @param newPosition The docking position to which the window is moving.
17: * @since jEdit 4.3pre11
18: */
19: void move(String newPosition);
20: //}}}
21: }
|