|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object bibliothek.gui.dock.support.menu.MenuPiece bibliothek.gui.dock.support.menu.BaseMenuPiece bibliothek.gui.dock.support.menu.FrontendSettingsList
public abstract class FrontendSettingsList
A list of settings (=layouts or perspectives) that are available for a DockFrontend
.
The list contains the elements of DockFrontend.getSettings()
.
Constructor Summary | |
---|---|
FrontendSettingsList(DockFrontend frontend)
Creates a new list. |
Method Summary | |
---|---|
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. |
Methods inherited from class bibliothek.gui.dock.support.menu.BaseMenuPiece |
---|
add, addSeparator, fill, getItem, getItemCount, insert, insertSeparator, remove, remove, removeAll |
Methods inherited from class bibliothek.gui.dock.support.menu.MenuPiece |
---|
addListener, fireInsert, fireRemove, getMenu, getParent, isBound, items, removeListener, setParent |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public FrontendSettingsList(DockFrontend frontend)
frontend
- the frontend to observe, can be null
Method Detail |
---|
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.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |