public abstract class FrontendSettingsList extends BaseMenuPiece
DockFrontend
.
The list contains the elements of DockFrontend.getSettings()
.Constructor and Description |
---|
FrontendSettingsList(DockFrontend frontend)
Creates a new list.
|
Modifier and Type | Method and Description |
---|---|
protected abstract void |
action(java.lang.String name)
Called when the user clicks on an item of this list.
|
void |
bind()
This method is called if there is a possibility for the user to see this menu.
|
DockFrontend |
getFrontend()
Gets the frontend which is currently observed
|
protected int |
preferredIndex(java.lang.String name) |
void |
setFrontend(DockFrontend frontend)
Changes the frontend which is observed by this list.
|
void |
unbind()
This method is called if the user has no longer any possibility to see this menu.
|
void |
updateSelection()
Updates the selection state of the
JRadioButtonMenuItem s that are used
on this menu. |
add, addSeparator, fill, getItem, getItemCount, insert, insertSeparator, remove, remove, removeAll
addListener, fireInsert, fireRemove, getMenu, getParent, isBound, items, removeListener, setParent
public FrontendSettingsList(DockFrontend frontend)
frontend
- the frontend to observe, can be null
public DockFrontend getFrontend()
null
public void setFrontend(DockFrontend frontend)
DockFrontend.getSettings()
.frontend
- the frontend to observe, can be null
public void bind()
MenuPiece
bind
in class MenuPiece
MenuPiece.unbind()
public void unbind()
MenuPiece
unbind
in class MenuPiece
MenuPiece.bind()
protected abstract void action(java.lang.String name)
name
- the name of the itemprotected int preferredIndex(java.lang.String name)
public void updateSelection()
JRadioButtonMenuItem
s that are used
on this menu. Only the one item representing the current layout of the DockFrontend
is selected.