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