<DOCKABLE> tag may be present. The code that creates the dockable can reference any BeanShell built-in variable (see {@link org.gjt.sp.jedit.BeanShell}), along with a variable position whose value is one of {@link #FLOATING}, {@link #TOP}, {@link #LEFT}, {@link #BOTTOM}, and {@link #RIGHT}. The following properties must be defined for each dockable window:
name.title - the string to show in the title bar of the dockable.name.label - the dockable's menu item label.
A number of actions are automatically created for each dockable window: name - opens the dockable window.name-toggle - toggles the dockable window's visibility.name-float - opens the dockable window in a new floating window.
Note that only the first action needs a label property, the rest have automatically-generated labels. Implementation details: When an instance of this class is initialized by the {@link org.gjt.sp.jedit.View}class, it iterates through the list of registered dockable windows (from jEdit itself, and any loaded plugins) and examines options supplied by the user in the Global Options dialog box. Any plugins designated for one of the four docking positions are displayed.
To create an instance of a dockable window, the DockableWindowManager finds and executes the BeanShell code extracted from the appropriate dockables.xml file. This code will typically consist of a call to the constructor of the dockable window component. The result of the BeanShell expression, typically a newly constructed component, is placed in a window managed by this class.
@see org.gjt.sp.jedit.View#getDockableWindowManager()
@author Slava Pestov
@author John Gellene (API documentation)
@version $Id: DockableWindowManager.java,v 1.98 2004/06/09 16:48:40 spestov Exp $
@since jEdit 2.6pre3
| |
| |
| |
| |
| |
| |
| |
| |