/jEdit/tags/jedit-4-5-pre1/org/gjt/sp/jedit/gui/DockableWindow.java
Java | 21 lines | 4 code | 2 blank | 15 comment | 0 complexity | b44e1398ba58c6e471816c2d683c38e6 MD5 | raw file
Possible License(s): BSD-3-Clause, AGPL-1.0, Apache-2.0, LGPL-2.0, LGPL-3.0, GPL-2.0, CC-BY-SA-3.0, LGPL-2.1, GPL-3.0, MPL-2.0-no-copyleft-exception, IPL-1.0
- package org.gjt.sp.jedit.gui;
- /**
- * <p>An interface for notifying MOVABLE dockable windows before their docking
- * position is changed. </p>
- *
- * @author Shlomy Reinstein
- * @version $Id: DockableWindow.java 12504 2008-04-22 23:12:43Z ezust $
- * @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);
- //}}}
- }