PageRenderTime 13ms CodeModel.GetById 11ms app.highlight 0ms RepoModel.GetById 1ms app.codeStats 0ms

/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
 1package org.gjt.sp.jedit.gui;
 2
 3/**
 4 * <p>An interface for notifying MOVABLE dockable windows before their docking
 5 * position is changed. </p>
 6 * 
 7 * @author Shlomy Reinstein
 8 * @version $Id: DockableWindow.java 12504 2008-04-22 23:12:43Z ezust $
 9 * @since jEdit 4.3pre11
10 */
11
12public 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}