public interface Explorer
| Modifier and Type | Method and Description |
|---|---|
void |
addListener(ExplorerListener gel)
Adds listener to the explorer
|
boolean |
anyCanvasSelected()
Returns whether any Canvas is currently selected
|
javax.swing.JComponent |
getJComponent() |
java.lang.String |
getName() |
int |
getSelectedCanvasWidth()
Returns the width of the Canvas when selected
|
void |
reformView()
Reforms this explorer based on the new size or location of this explorer.
|
void |
removeListener(ExplorerListener gel)
Removes listener from the explorer
|
void |
selectCanvas(int index)
Selects the canvas at the specified index.
|
void |
setDrawersCard(java.util.List<? extends Canvas> items)
Reassigns the set of canvases that this explorer controls.
|
void |
setName(java.lang.String name)
sets the name of this exlorer
|
javax.swing.JComponent getJComponent()
java.lang.String getName()
void setName(java.lang.String name)
name - void setDrawersCard(java.util.List<? extends Canvas> items)
items - void selectCanvas(int index)
index - - the index of the canvas to be viewed.void reformView()
boolean anyCanvasSelected()
int getSelectedCanvasWidth()
void addListener(ExplorerListener gel)
gel - void removeListener(ExplorerListener gel)
gel -