|Modifier and Type||Method and Description|
Disposes of the extension and tells the server whether to re-init the UI.
Disposes of the extension, and tells the server which resources have changed.
void onClose(boolean reinitUI)
trueto reinit the UI
void onClose(java.util.List<java.lang.String> changedStructureIds, long delayMillis)
changedStructureIds- the structure ids of changed resources, as strings
delayMillis- time to delay the RPC (for allowing short background operations to finish)