Package org.gjt.sp.jedit.gui
Class DockableWindowManagerImpl
- java.lang.Object
-
- java.awt.Component
-
- java.awt.Container
-
- javax.swing.JComponent
-
- javax.swing.JPanel
-
- org.gjt.sp.jedit.gui.DockableWindowManager
-
- org.gjt.sp.jedit.gui.DockableWindowManagerImpl
-
- All Implemented Interfaces:
java.awt.image.ImageObserver,java.awt.MenuContainer,java.io.Serializable,javax.accessibility.Accessible
public class DockableWindowManagerImpl extends DockableWindowManager
Manages dockable windows for a single View. Concrete implementation of a Dockable Window Manager. Aka the "classic" docking framework.- Since:
- jEdit 4.3pre16
- See Also:
- Serialized Form
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static classDockableWindowManagerImpl.DockableWindowConfig-
Nested classes/interfaces inherited from class org.gjt.sp.jedit.gui.DockableWindowManager
DockableWindowManager.DockingArea, DockableWindowManager.DockingLayout
-
Nested classes/interfaces inherited from class javax.swing.JPanel
javax.swing.JPanel.AccessibleJPanel
-
Nested classes/interfaces inherited from class javax.swing.JComponent
javax.swing.JComponent.AccessibleJComponent
-
-
Field Summary
Fields Modifier and Type Field Description java.util.Stack<java.lang.String>showStack-
Fields inherited from class org.gjt.sp.jedit.gui.DockableWindowManager
BOTTOM, factory, FLOATING, LEFT, RIGHT, TOP, view
-
Fields inherited from class javax.swing.JComponent
listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW
-
-
Constructor Summary
Constructors Constructor Description DockableWindowManagerImpl(View view, DockableWindowFactory factory, View.ViewConfig config)Creates a new dockable window manager.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidclose()Called when the view is being closed.voidcloseCurrentArea()Closes the most recently focused dockable.javax.swing.JPopupMenucreatePopupMenu(DockableWindowContainer container, java.lang.String dockable, boolean clone)voiddisposeDockableWindow(java.lang.String name)Completely dispose of a dockable - called when a plugin is unloaded, to remove all references to the its dockables.javax.swing.JComponentfloatDockableWindow(java.lang.String name)Opens a new instance of the specified dockable window in a floating container.PanelWindowContainergetBottomDockingArea()javax.swing.JComponentgetDockable(java.lang.String name)Returns the specified dockable window.DockableWindowManager.DockingLayoutgetDockingLayout(View.ViewConfig config)PanelWindowContainergetLeftDockingArea()PanelWindowContainergetRightDockingArea()PanelWindowContainergetTopDockingArea()voidhandleDockableWindowUpdate(DockableWindowUpdate msg)voidhandlePluginUpdate(PluginUpdate pmsg)voidhandlePropertiesChanged(PropertiesChanged msg)voidhideDockableWindow(java.lang.String name)Hides the specified dockable window.voidinit()Initialises dockable window manager.booleanisDockableWindowDocked(java.lang.String name)Returns if the specified dockable window is docked into the view.booleanisDockableWindowVisible(java.lang.String name)Returns if the specified dockable window is visible.voidpaintChildren(java.awt.Graphics g)protected voidpropertiesChanged()voidsetDockingLayout(DockableWindowManager.DockingLayout docking)voidsetMainPanel(javax.swing.JPanel panel)voidshowDockableWindow(java.lang.String name)Opens the specified dockable window.-
Methods inherited from class org.gjt.sp.jedit.gui.DockableWindowManager
addDockableWindow, applyAlternateLayout, applyDockingLayout, closeListener, createDockable, dockableLoaded, dockableTitleChanged, dockingPositionChanged, focusDockable, getAlternateLayoutProp, getDockablePosition, getDockableTitle, getDockableWindow, getDockableWindowPluginName, getLongTitlePropertyName, getRegisteredDockableWindows, getView, longTitle, removeDockableWindow, setDockableTitle, shortTitle, toggleDockableWindow, toggleDockAreas, willToggleHide
-
Methods inherited from class javax.swing.JPanel
getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI
-
Methods inherited from class javax.swing.JComponent
addAncestorListener, addNotify, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBaseline, getBaselineResizeBehavior, getBorder, getBounds, getClientProperty, getComponentGraphics, getComponentPopupMenu, getConditionForKeyStroke, getDebugGraphicsOptions, getDefaultLocale, getFontMetrics, getGraphics, getHeight, getInheritsPopupMenu, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPopupLocation, getPreferredSize, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, hide, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, isPaintingOrigin, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintComponent, paintImmediately, paintImmediately, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processKeyBinding, processKeyEvent, processMouseEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resetKeyboardActions, reshape, revalidate, scrollRectToVisible, setActionMap, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setComponentPopupMenu, setDebugGraphicsOptions, setDefaultLocale, setDoubleBuffered, setEnabled, setFocusTraversalKeys, setFont, setForeground, setInheritsPopupMenu, setInputMap, setInputVerifier, setMaximumSize, setMinimumSize, setNextFocusableComponent, setOpaque, setPreferredSize, setRequestFocusEnabled, setToolTipText, setTransferHandler, setUI, setVerifyInputWhenFocusTarget, setVisible, unregisterKeyboardAction, update
-
Methods inherited from class java.awt.Container
add, add, add, add, add, addContainerListener, addImpl, addPropertyChangeListener, addPropertyChangeListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, getMousePosition, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusCycleRoot, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setLayout, transferFocusDownCycle, validate, validateTree
-
Methods inherited from class java.awt.Component
action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, createImage, createImage, createVolatileImage, createVolatileImage, disableEvents, dispatchEvent, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isPreferredSizeSet, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, requestFocus, requestFocus, requestFocusInWindow, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setMixingCutoutShape, setName, setSize, setSize, show, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle
-
-
-
-
Constructor Detail
-
DockableWindowManagerImpl
public DockableWindowManagerImpl(View view, DockableWindowFactory factory, View.ViewConfig config)
Creates a new dockable window manager.- Parameters:
view- The viewfactory- ADockableWindowFactory, usuallyDockableWindowFactory.getInstance().config- A docking configuration- Since:
- jEdit 2.6pre3
-
-
Method Detail
-
setDockingLayout
public void setDockingLayout(DockableWindowManager.DockingLayout docking)
- Overrides:
setDockingLayoutin classDockableWindowManager
-
getDockingLayout
public DockableWindowManager.DockingLayout getDockingLayout(View.ViewConfig config)
- Specified by:
getDockingLayoutin classDockableWindowManager
-
setMainPanel
public void setMainPanel(javax.swing.JPanel panel)
- Specified by:
setMainPanelin classDockableWindowManager
-
init
public void init()
Initialises dockable window manager. Do not call this method directly.- Overrides:
initin classDockableWindowManager
-
floatDockableWindow
public javax.swing.JComponent floatDockableWindow(java.lang.String name)
Opens a new instance of the specified dockable window in a floating container.- Specified by:
floatDockableWindowin classDockableWindowManager- Parameters:
name- The dockable window name- Returns:
- The new dockable window instance
- Since:
- jEdit 4.1pre2
-
showDockableWindow
public void showDockableWindow(java.lang.String name)
Opens the specified dockable window.- Specified by:
showDockableWindowin classDockableWindowManager- Parameters:
name- The dockable window name- Since:
- jEdit 2.6pre3
-
hideDockableWindow
public void hideDockableWindow(java.lang.String name)
Hides the specified dockable window.- Specified by:
hideDockableWindowin classDockableWindowManager- Parameters:
name- The dockable window name- Since:
- jEdit 2.6pre3
-
getDockable
public javax.swing.JComponent getDockable(java.lang.String name)
Returns the specified dockable window. Note that this method will return null if the dockable has not been added yet. Make sure you callDockableWindowManager.addDockableWindow(String)first. For historical reasons, this does the same thing asDockableWindowManager.getDockableWindow(String).- Overrides:
getDockablein classDockableWindowManager- Parameters:
name- The name of the dockable window- Since:
- jEdit 4.0pre1
-
isDockableWindowVisible
public boolean isDockableWindowVisible(java.lang.String name)
Returns if the specified dockable window is visible.- Specified by:
isDockableWindowVisiblein classDockableWindowManager- Parameters:
name- The dockable window name
-
isDockableWindowDocked
public boolean isDockableWindowDocked(java.lang.String name)
Returns if the specified dockable window is docked into the view.- Specified by:
isDockableWindowDockedin classDockableWindowManager- Parameters:
name- The dockable's name- Since:
- jEdit 4.0pre2
-
closeCurrentArea
public void closeCurrentArea()
Closes the most recently focused dockable.- Specified by:
closeCurrentAreain classDockableWindowManager- Since:
- jEdit 4.1pre3
-
close
public void close()
Called when the view is being closed.- Overrides:
closein classDockableWindowManager- Since:
- jEdit 2.6pre3
-
getTopDockingArea
public PanelWindowContainer getTopDockingArea()
- Specified by:
getTopDockingAreain classDockableWindowManager
-
getLeftDockingArea
public PanelWindowContainer getLeftDockingArea()
- Specified by:
getLeftDockingAreain classDockableWindowManager
-
getBottomDockingArea
public PanelWindowContainer getBottomDockingArea()
- Specified by:
getBottomDockingAreain classDockableWindowManager
-
getRightDockingArea
public PanelWindowContainer getRightDockingArea()
- Specified by:
getRightDockingAreain classDockableWindowManager
-
createPopupMenu
public javax.swing.JPopupMenu createPopupMenu(DockableWindowContainer container, java.lang.String dockable, boolean clone)
-
paintChildren
public void paintChildren(java.awt.Graphics g)
- Overrides:
paintChildrenin classjavax.swing.JComponent
-
handleDockableWindowUpdate
public void handleDockableWindowUpdate(DockableWindowUpdate msg)
- Overrides:
handleDockableWindowUpdatein classDockableWindowManager
-
handlePropertiesChanged
public void handlePropertiesChanged(PropertiesChanged msg)
- Overrides:
handlePropertiesChangedin classDockableWindowManager
-
handlePluginUpdate
public void handlePluginUpdate(PluginUpdate pmsg)
- Overrides:
handlePluginUpdatein classDockableWindowManager
-
propertiesChanged
protected void propertiesChanged()
- Overrides:
propertiesChangedin classDockableWindowManager
-
disposeDockableWindow
public void disposeDockableWindow(java.lang.String name)
Description copied from class:DockableWindowManagerCompletely dispose of a dockable - called when a plugin is unloaded, to remove all references to the its dockables.- Specified by:
disposeDockableWindowin classDockableWindowManager
-
-