com.javadocking.dock
Class TabDock

java.lang.Object
  java.awt.Component
      java.awt.Container
          javax.swing.JComponent
              javax.swing.JPanel
                  com.javadocking.dock.TabDock

All Implemented Interfaces:

Dock, DockableHider, LeafDock, java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, javax.accessibility.Accessible

public class TabDock
extends javax.swing.JPanel
implements LeafDock, DockableHider

This is a dock that can contain zero, one or multiple dockables. The dockables are organized in the tabs of a tabbed pane. The tabbed pane of this dock is created with the component factory of the docking manager (DockingManager.getComponentFactory()) with the method SwComponentFactory.createJTabbedPane().

Information on using tab docks is in How to Use Laef Docks in The Sanaware Developer Guide.

This is a leaf dock. It cannot contain other docks.

When it contains no dockable it is empty. It is never full.

A dockable can be docked in this dock if:

• it has DockingMode.TAB as possible docking mode.
• its content component is not null.

A composite dockable can also be docked in this dock if:

• all of its child dockables have DockingMode.TAB as possible docking mode.
• all of its child dockables have a content component that is not null.

If the mouse is inside the priority rectangle, the dockable can be docked with priority (see Priority.CAN_DOCK_WITH_PRIORITY). When the mouse is inside the panel of this dock, but outside the priority rectangle, the dockable can be docked without priority (see Priority.CAN_DOCK). The priority rectangle is a rectangle in the middle of the dock and retrieved with getPriorityRectangle(Rectangle).

The Position for dockables docked in this dock are one-dimensional. The first position value of a child dockable is between 0 and the number of child dockables minus 1; it is the index of its tab.

Author:

Heidi Rakels.

See Also:

Serialized Form

Nested Class Summary

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

Nested classes/interfaces inherited from class java.awt.Container

java.awt.Container.AccessibleAWTContainer

Nested classes/interfaces inherited from class java.awt.Component

java.awt.Component.AccessibleAWTComponent, java.awt.Component.BaselineResizeBehavior, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy

Field Summary

Fields inherited from class javax.swing.JComponent

accessibleContext, listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW

Fields inherited from class java.awt.Component

BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT

Fields inherited from interface java.awt.image.ImageObserver

ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH

Constructor Summary

TabDock()
Constructs a tabbed dock.

Method Summary

boolean	addDockable(Dockable dockableToAdd, java.awt.Point relativeLocation, java.awt.Point dockableOffset) Adds a dockable to this dock.
void	addDockable(Dockable dockableToAdd, Position position) Adds the given dockable to this dock at the given position.
void	addDockingListener(DockingListener listener) Adds a listener for DockingEvents of this dock.
boolean	canRemoveDockable(Dockable dockableToRemove) Determines if the specified dockable can be removed from this dock.
boolean	containsDockable(Dockable dockable) Determines if the given dockable is docked in this dock.
protected javax.swing.JPanel	createComponentOfDockable(Dockable dockable) Creates the component that contains the content of the dockable.
Dockable	getDockable(int index) Gets the dockable with the specified index, that is docked in this dock.
int	getDockableCount() Gets the number of dockables that are docked in this dock.
Position	getDockablePosition(Dockable dockable) Gets the position where the dockable is docked in this dock.
int	getDockPriority(Dockable dockable, java.awt.Point relativeLocation) Determines if the given dockable can be added to this dock.
int	getHeaderPosition() Gets the position where the headers of the dockables are placed.
Dockable	getHiddenDockable(int index) Gets the dockable that is hidden in this dock with the given index.
int	getHiddenDockableCount() Gets the number of hidden dockables of this dock.
CompositeDock	getParentDock() Gets the parent dock of this dock.
protected void	getPriorityRectangle(java.awt.Rectangle rectangle) Computes the relative rectangle in this dock in which docking has priority.
Dockable	getSelectedDockable() Gets the dockable that is selected in the tab dock.
void	hideDockable(Dockable dockableToHide) Hides the content of the dockable.
boolean	isEmpty() Determines if this dock doesn't have any dockables docked in it, or doesn't have any child docks docked in it.
boolean	isFull() Determines if any more dockables can be added to this dock.
void	loadProperties(java.lang.String prefix, java.util.Properties properties, java.util.Map childDockIds, java.util.Map dockablesMap, java.awt.Window owner) Loads the properties for this dock.
boolean	moveDockable(Dockable dockableToMove, java.awt.Point relativeLocation) Moves a dockable to a new position in this dock.
boolean	removeDockable(Dockable dockableToRemove) Removes the specified dockable from this dock.
void	removeDockingListener(DockingListener listener) Removes a listener for docking events of this dock.
void	restoreDockable(Dockable dockableToRestore) Restores the dockable that is hidden.
Dockable	retrieveDockableOfComponent(java.awt.Component component) Retrieves the dockable of this dock that has the given component as content.
int	retrieveDockingRectangle(Dockable dockable, java.awt.Point relativeLocation, java.awt.Point dockableOffset, java.awt.Rectangle rectangle) Sets the given rectangle to the position and size of the graphical content component of the dockable, when it will be docked in this dock.
void	saveProperties(java.lang.String prefix, java.util.Properties properties, java.util.Map childDocks) Saves the properties of this dock in the given properties object.
void	setHeaderPosition(int headerPosition) Sets the position where the headers of the dockables are placed.
void	setParentDock(CompositeDock parentDock) Sets the specified dock as new parent dock of this dock.
boolean	setSelectedDockable(Dockable dockable) Selects the tab of the dockable.

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, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintChildren, 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, transferFocusBackward, 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, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, hide, 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, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, show, show, size, toString, transferFocus, transferFocusUpCycle

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

TabDock

public TabDock()

Constructs a tabbed dock.

Method Detail

getDockPriority

public int getDockPriority(Dockable dockable,
                           java.awt.Point relativeLocation)

Determines if the given dockable can be added to this dock.

It can be docked in this dock:

• if it has DockingMode.TAB as possible docking mode.
• if its content component is not null.

A composite dockable can also be docked in this dock if:

• all of its child dockables have DockingMode.TAB as possible docking mode.
• all of its child dockables have a content component that is not null.

Specified by:

getDockPriority in interface Dock

Parameters:

dockable - The dockable that will be added.

relativeLocation - The location where the dockable will be added.

Returns:

The integer that determines the priority for adding the dockable. If the dockable cannot be added, CANNOT_DOCK is returned. The higher the integer, the higher the priority for docking the dockable in this dock.

retrieveDockingRectangle

public int retrieveDockingRectangle(Dockable dockable,
                                    java.awt.Point relativeLocation,
                                    java.awt.Point dockableOffset,
                                    java.awt.Rectangle rectangle)

Description copied from interface: Dock

Sets the given rectangle to the position and size of the graphical content component of the dockable, when it will be docked in this dock.

Determines if the dockable can be added to this dock. If the dockable cannot be added, it returns Priority.CANNOT_DOCK and the given rectangle is not changed.

Specified by:

retrieveDockingRectangle in interface Dock

Parameters:

dockable - The dockable that will be added.

relativeLocation - The location where the dockable will be added.

dockableOffset - The mouse location where the dragging started, relatively to the previous dock of the dockable.

rectangle - This rectangle will be set to the location and size of the graphical component of the dockable when it will be docked in this dock. The rectangle is relative to this dock.

Returns:

If the dockable cannot be added, Priority.CANNOT_DOCK is returned, otherwise a positive integer.

addDockable

public boolean addDockable(Dockable dockableToAdd,
                           java.awt.Point relativeLocation,
                           java.awt.Point dockableOffset)

Description copied from interface: Dock

Adds a dockable to this dock.

First it determines if the dockable can be added with Dock.getDockPriority(Dockable, Point). If this method returns CANNOT_DOCK, the dockable is not added.

Specified by:

addDockable in interface Dock

Parameters:

dockableToAdd - The dockable that will be added.

relativeLocation - The location where the dockable will be added.

dockableOffset - The mouse location where the dragging started, relatively to the previous dock of the dockable.

Returns:

True if the dockable was added to this dock, false otherwise.

canRemoveDockable

public boolean canRemoveDockable(Dockable dockableToRemove)

Description copied from interface: LeafDock

Determines if the specified dockable can be removed from this dock.

Specified by:

canRemoveDockable in interface LeafDock

Parameters:

dockableToRemove - The dockable that will be removed.

Returns:

True if the specified dockable can be removed from this dock, false otherwise.

removeDockable

public boolean removeDockable(Dockable dockableToRemove)

Description copied from interface: LeafDock

Removes the specified dockable from this dock.

Specified by:

removeDockable in interface LeafDock

Parameters:

dockableToRemove - The dockable that will be removed.

Returns:

True if the specified dockable was removed from this dock, false otherwise.

isEmpty

public boolean isEmpty()

Description copied from interface: Dock

Determines if this dock doesn't have any dockables docked in it, or doesn't have any child docks docked in it.

Specified by:

isEmpty in interface Dock

Returns:

True if this dock doesn't have any dockables docked in it, or doesn't have any child docks docked in it, false otherwise.

isFull

public boolean isFull()

Description copied from interface: Dock

Determines if any more dockables can be added to this dock.

Specified by:

isFull in interface Dock

Returns:

True if any more dockables can be added to this dock, false otherwise.

getParentDock

public CompositeDock getParentDock()

Description copied from interface: Dock

Gets the parent dock of this dock.

Specified by:

getParentDock in interface Dock

Returns:

The parent dock of this dock.

setParentDock

public void setParentDock(CompositeDock parentDock)

Description copied from interface: Dock

Sets the specified dock as new parent dock of this dock.

Specified by:

setParentDock in interface Dock

Parameters:

parentDock - The parent dock of this dock.

saveProperties

public void saveProperties(java.lang.String prefix,
                           java.util.Properties properties,
                           java.util.Map childDocks)

Description copied from interface: Dock

Saves the properties of this dock in the given properties object.

The property names for this dock should start with the given prefix.

Specified by:

saveProperties in interface Dock

Parameters:

prefix - The prefix for the property names.

properties - The properties object to which the properties should be added.

childDocks - A mapping between the child docks that are already saved and the keys that are used for the save.

• map key: a child dock that is already saved (Dock).
• map value: the key that is used for saving the dock (java.lang.String).

loadProperties

public void loadProperties(java.lang.String prefix,
                           java.util.Properties properties,
                           java.util.Map childDockIds,
                           java.util.Map dockablesMap,
                           java.awt.Window owner)
                    throws java.io.IOException

Description copied from interface: Dock

Loads the properties for this dock. The properties can be found in the given properties object. The property names for this dock start with the given prefix.

The dockables that should be docked in this dock are added to this dock. They can be found in the given dockables mapping. The docks that should be docked inside this dock are added to this dock. They can be found in the given childDocks mapping.

This method should be called after the empty constructor to create the content of the dock. Don't call this method for a dock that already has a content.

Specified by:

loadProperties in interface Dock

Parameters:

prefix - The prefix of the names of the properties that have been intended for this dock.

properties - The properties object that contains the properties for this dock. It can contain also properties for other objects, but they will have another prefix.

childDockIds - A mapping between the dock keys of the child docks that are already loaded and the docks.

• map key: the key that is used for saving the dock (java.lang.String).
• map value: a child dock that is already loaded (Dock).

dockablesMap - A mapping that contains the available dockables.

• map key: the ID of the dockable (java.lang.String).
• map value: the dockable (Dockable).

owner - The owner window of the dock in the dock model (DockModel).

Throws:

java.io.IOException - If an error occures while decoding the properties.

addDockingListener

public void addDockingListener(DockingListener listener)

Description copied from interface: Dock

Adds a listener for DockingEvents of this dock. The listener will be informed before and after adding, moving or removing dockables or child docks from this dock.

Specified by:

addDockingListener in interface Dock

Parameters:

listener - A docking listener that will be notified when a dockable or child dock is added, moved, or removed.

removeDockingListener

public void removeDockingListener(DockingListener listener)

Description copied from interface: Dock

Removes a listener for docking events of this dock.

Specified by:

removeDockingListener in interface Dock

Parameters:

listener - The docking listener to remove.

getDockable

public Dockable getDockable(int index)
                     throws java.lang.IndexOutOfBoundsException

Description copied from interface: LeafDock

Gets the dockable with the specified index, that is docked in this dock.

Specified by:

getDockable in interface LeafDock

Parameters:

index - The index of the dockable

Returns:

The dockable with the specified index that is docked in this dock.

Throws:

java.lang.IndexOutOfBoundsException - If the index is out of range (index < 0 || index >= getDockableCount()).

getDockableCount

public int getDockableCount()

Description copied from interface: LeafDock

Gets the number of dockables that are docked in this dock.

Specified by:

getDockableCount in interface LeafDock

Returns:

The number of dockables that are docked in this dock.

containsDockable

public boolean containsDockable(Dockable dockable)

Description copied from interface: LeafDock

Determines if the given dockable is docked in this dock.

Specified by:

containsDockable in interface LeafDock

Parameters:

dockable - The dockable.

Returns:

True if if the given dockable is docked in this dock, false otherwise.

moveDockable

public boolean moveDockable(Dockable dockableToMove,
                            java.awt.Point relativeLocation)

Description copied from interface: LeafDock

Moves a dockable to a new position in this dock.

Specified by:

moveDockable in interface LeafDock

Parameters:

dockableToMove - The dockable that will be moved.

relativeLocation - The location to which the dockable will be moved, relatively to the dock.

Returns:

True if the position of the dockable changed, false otherwise.

getDockablePosition

public Position getDockablePosition(Dockable dockable)
                             throws java.lang.IllegalArgumentException

Description copied from interface: LeafDock

Gets the position where the dockable is docked in this dock.

Specified by:

getDockablePosition in interface LeafDock

Parameters:

dockable - The dockable that is docked in this dock.

Returns:

The position where the dockable is docked in this dock. Not null.

Throws:

java.lang.IllegalArgumentException - If the given dockable is not docked in this dock.

addDockable

public void addDockable(Dockable dockableToAdd,
                        Position position)

Description copied from interface: LeafDock

Adds the given dockable to this dock at the given position.

If there is already a dockable at the given position, or if the position is invalid, then the dockable is added at another position.

Specified by:

addDockable in interface LeafDock

Parameters:

dockableToAdd - The dockable to add to this dock.

position - The position of the dockable.

hideDockable

public void hideDockable(Dockable dockableToHide)
                  throws java.lang.IllegalArgumentException

Description copied from interface: DockableHider

Hides the content of the dockable. The dockable stays docked in this dock at the same position, but it has to be removed from the components of this dock.

The dock is not empty if it has a hidden dockable.

Specified by:

hideDockable in interface DockableHider

Parameters:

dockableToHide - The dockable that is docked in this dock, that has to be hidden.

Throws:

java.lang.IllegalArgumentException - If the given dockable is not docked in this dock.

getHiddenDockableCount

public int getHiddenDockableCount()

Description copied from interface: DockableHider

Gets the number of hidden dockables of this dock.

Specified by:

getHiddenDockableCount in interface DockableHider

Returns:

The number of hidden dockables of this dock.

getHiddenDockable

public Dockable getHiddenDockable(int index)

Description copied from interface: DockableHider

Gets the dockable that is hidden in this dock with the given index.

Specified by:

getHiddenDockable in interface DockableHider

Parameters:

index - The index of the hidden dockable.

Returns:

The hidden dockable, if there is one; otherwise null.

restoreDockable

public void restoreDockable(Dockable dockableToRestore)

Description copied from interface: DockableHider

Restores the dockable that is hidden.

Specified by:

restoreDockable in interface DockableHider

Parameters:

dockableToRestore - The dockable to restore

retrieveDockableOfComponent

public Dockable retrieveDockableOfComponent(java.awt.Component component)

Retrieves the dockable of this dock that has the given component as content.

Parameters:

component - The component of the dockable that is retrieved in the tabbed pane.

Returns:

The dockable in the given dock that has the given component as inner component, if it exists, null otherwise.

createComponentOfDockable

protected javax.swing.JPanel createComponentOfDockable(Dockable dockable)

Creates the component that contains the content of the dockable. If this method is overwritten retrieveDockableOfComponent(Component) should be made compatible.

Parameters:

dockable - The dockable for whicha a component has to be created.

Returns:

The component for the dockable.

setSelectedDockable

public boolean setSelectedDockable(Dockable dockable)

Selects the tab of the dockable. If the dockable is a composite, the selected dockable of the composite will be selected. If the composite doesn't have a selected dockable, the first child of the composite dockable is selected.

Parameters:

dockable - The tab for this dockable should be selected.

Returns:

True if the dockable could be selected, false otherwise.

getSelectedDockable

public Dockable getSelectedDockable()

Gets the dockable that is selected in the tab dock.

Returns:

The dockable that is selected in the tab dock.

getHeaderPosition

public int getHeaderPosition()

Gets the position where the headers of the dockables are placed.

It should be one of the following values:

• Position.TOP
• Position.BOTTOM
• Position.LEFT
• Position.RIGHT

The default value is Position.TOP.

Returns:

The position where the headers of the dockables are placed.

setHeaderPosition

public void setHeaderPosition(int headerPosition)

Sets the position where the headers of the dockables are placed.

It should be one of the following values:

• Position.TOP
• Position.BOTTOM
• Position.LEFT
• Position.RIGHT

Parameters:

headerPosition - The position where the headers of the dockables are placed.

Throws:

java.lang.IllegalArgumentException - If the given postion is not Position.TOP, Position.BOTTOM, Position.LEFT or Position.RIGHT.

getPriorityRectangle

protected void getPriorityRectangle(java.awt.Rectangle rectangle)

Computes the relative rectangle in this dock in which docking has priority. The given rectangle is set to the position and size of this priority rectangle. This rectangle is calculated as follows:

• x = dock width * priorityRectangleRelativeLeftOffset
• y = dock height * priorityRectangleRelativeTopOffset
• width = dock width * ( 1 - priorityRectangleRelativeLeftOffset - priorityRectangleRelativeRightOffset )
• height = dock height * ( 1 - priorityRectangleRelativeTopOffset - priorityRectangleRelativeBottomOffset )

Parameters:

rectangle - The rectangle that will get the position and size of the priority rectangle for this dock.