it would be useful to change the refresh handler. it probably wouldn't be too hard to add a new API:
void setRefreshHandler(RefreshHandler newHandler);
or something similar.
Log in to post a comment.