|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
Interface for server editors.
| Method Summary | |
void |
setServer(RemoteResourceWrapper server)
Load or reload the server configuration. |
| Methods inherited from interface org.w3c.jigadmin.editors.EditorInterface |
getComponent, initialize |
| Method Detail |
public void setServer(RemoteResourceWrapper server)
server - the new server wrapper
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||