|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: INNER | 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: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||