|
|||||||||
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 |