@Override public void cancel() { if (deferred != null) { deferred.cancel(); deferred = null; currentTileBounds = null; } }
@Override public void cancel() { // Perhaps we where busy fetching the correct tiles? if (deferred != null) { deferred.cancel(); deferred = null; } // Perhaps we where busy rendering the tiles? }
/** Cancel the fetching of this tile. No call-back will be executed anymore. */ public void cancel() { if (deferred != null) { deferred.cancel(); } }
public void onWindowClosing(ClosingEvent event) { GwtCommandDispatcher.getInstance().setShowError(false); // Cancel all outstanding requests: for (Deferred deferred : deferreds) { deferred.cancel(); } } });