|
|||||||||
| Home >> All >> com >> trapezium >> [ chisel overview ] | PREV CLASS NEXT CLASS | ||||||||
SUMMARY: JAVADOC | SOURCE | DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||
com.trapezium.chisel
Interface Workspace

- All Known Implementing Classes:
- com.trapezium.chisel.gui.ChiselAWTPane
- public interface Workspace
The interface for containers which can manage their contents
| Method Summary | |
void |
close(java.awt.Component c)
hide and remove a component |
void |
copy()
|
void |
cut()
|
java.awt.Component |
getSelection()
get the selected component |
void |
moveToBack(java.awt.Component c)
make a component the farthest back one |
void |
moveToFront(java.awt.Component c)
make a component the front most one |
void |
nextError()
|
void |
paste()
paste from the system clipboard into the currently selected component |
void |
prevError()
|
void |
redo()
|
void |
setSelection(java.awt.Component c)
select a component |
void |
undo()
|
| Method Detail |
getSelection
public java.awt.Component getSelection()
- get the selected component
setSelection
public void setSelection(java.awt.Component c)
- select a component
close
public void close(java.awt.Component c)
- hide and remove a component
moveToFront
public void moveToFront(java.awt.Component c)
- make a component the front most one
moveToBack
public void moveToBack(java.awt.Component c)
- make a component the farthest back one
paste
public void paste()
- paste from the system clipboard into the currently selected component
copy
public void copy()
cut
public void cut()
undo
public void undo()
redo
public void redo()
nextError
public void nextError()
prevError
public void prevError()
|
|||||||||
| Home >> All >> com >> trapezium >> [ chisel overview ] | PREV CLASS NEXT CLASS | ||||||||
SUMMARY: JAVADOC | SOURCE | DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||
JAVADOC