public class DockableSelector
extends java.lang.Object
DockableSelector
is able to open a popup when the user hits a special
combination of keys. The popup uses a DockableSelection
to present
the user different Dockable
s from which he can choose one to become focused.Modifier and Type | Field and Description |
---|---|
static PropertyKey<javax.swing.KeyStroke> |
INIT_SELECTION
key for the
DockProperties , telling which KeyStroke activates the selection |
Constructor and Description |
---|
DockableSelector() |
Modifier and Type | Method and Description |
---|---|
void |
cancel()
Closes the currently open popup window without changing the focused
Dockable |
boolean |
isOpen()
Tells whether the window is shown to the user right now.
|
void |
select()
Opens the popup window if possible and allows the user the choice between different
Dockable s. |
void |
setController(DockController controller)
Sets the controller which should be observed.
|
void |
stop(Dockable dockable)
Close the currently open popup window and changes the focused
Dockable to dockable . |
public static final PropertyKey<javax.swing.KeyStroke> INIT_SELECTION
DockProperties
, telling which KeyStroke
activates the selectionpublic void setController(DockController controller)
controller
- the currently observed controllerpublic void select()
Dockable
s.public boolean isOpen()
public void cancel()
Dockable