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 class
DockableWindowManagerImpl.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 void
close()
Called when the view is being closed.void
closeCurrentArea()
Closes the most recently focused dockable.javax.swing.JPopupMenu
createPopupMenu(DockableWindowContainer container, java.lang.String dockable, boolean clone)
void
disposeDockableWindow(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.JComponent
floatDockableWindow(java.lang.String name)
Opens a new instance of the specified dockable window in a floating container.PanelWindowContainer
getBottomDockingArea()
javax.swing.JComponent
getDockable(java.lang.String name)
Returns the specified dockable window.DockableWindowManager.DockingLayout
getDockingLayout(View.ViewConfig config)
PanelWindowContainer
getLeftDockingArea()
PanelWindowContainer
getRightDockingArea()
PanelWindowContainer
getTopDockingArea()
void
handleDockableWindowUpdate(DockableWindowUpdate msg)
void
handlePluginUpdate(PluginUpdate pmsg)
void
handlePropertiesChanged(PropertiesChanged msg)
void
hideDockableWindow(java.lang.String name)
Hides the specified dockable window.void
init()
Initialises dockable window manager.boolean
isDockableWindowDocked(java.lang.String name)
Returns if the specified dockable window is docked into the view.boolean
isDockableWindowVisible(java.lang.String name)
Returns if the specified dockable window is visible.void
paintChildren(java.awt.Graphics g)
protected void
propertiesChanged()
void
setDockingLayout(DockableWindowManager.DockingLayout docking)
void
setMainPanel(javax.swing.JPanel panel)
void
showDockableWindow(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:
setDockingLayout
in classDockableWindowManager
-
getDockingLayout
public DockableWindowManager.DockingLayout getDockingLayout(View.ViewConfig config)
- Specified by:
getDockingLayout
in classDockableWindowManager
-
setMainPanel
public void setMainPanel(javax.swing.JPanel panel)
- Specified by:
setMainPanel
in classDockableWindowManager
-
init
public void init()
Initialises dockable window manager. Do not call this method directly.- Overrides:
init
in 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:
floatDockableWindow
in 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:
showDockableWindow
in 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:
hideDockableWindow
in 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:
getDockable
in 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:
isDockableWindowVisible
in 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:
isDockableWindowDocked
in classDockableWindowManager
- Parameters:
name
- The dockable's name- Since:
- jEdit 4.0pre2
-
closeCurrentArea
public void closeCurrentArea()
Closes the most recently focused dockable.- Specified by:
closeCurrentArea
in classDockableWindowManager
- Since:
- jEdit 4.1pre3
-
close
public void close()
Called when the view is being closed.- Overrides:
close
in classDockableWindowManager
- Since:
- jEdit 2.6pre3
-
getTopDockingArea
public PanelWindowContainer getTopDockingArea()
- Specified by:
getTopDockingArea
in classDockableWindowManager
-
getLeftDockingArea
public PanelWindowContainer getLeftDockingArea()
- Specified by:
getLeftDockingArea
in classDockableWindowManager
-
getBottomDockingArea
public PanelWindowContainer getBottomDockingArea()
- Specified by:
getBottomDockingArea
in classDockableWindowManager
-
getRightDockingArea
public PanelWindowContainer getRightDockingArea()
- Specified by:
getRightDockingArea
in classDockableWindowManager
-
createPopupMenu
public javax.swing.JPopupMenu createPopupMenu(DockableWindowContainer container, java.lang.String dockable, boolean clone)
-
paintChildren
public void paintChildren(java.awt.Graphics g)
- Overrides:
paintChildren
in classjavax.swing.JComponent
-
handleDockableWindowUpdate
public void handleDockableWindowUpdate(DockableWindowUpdate msg)
- Overrides:
handleDockableWindowUpdate
in classDockableWindowManager
-
handlePropertiesChanged
public void handlePropertiesChanged(PropertiesChanged msg)
- Overrides:
handlePropertiesChanged
in classDockableWindowManager
-
handlePluginUpdate
public void handlePluginUpdate(PluginUpdate pmsg)
- Overrides:
handlePluginUpdate
in classDockableWindowManager
-
propertiesChanged
protected void propertiesChanged()
- Overrides:
propertiesChanged
in classDockableWindowManager
-
disposeDockableWindow
public void disposeDockableWindow(java.lang.String name)
Description copied from class:DockableWindowManager
Completely dispose of a dockable - called when a plugin is unloaded, to remove all references to the its dockables.- Specified by:
disposeDockableWindow
in classDockableWindowManager
-
-