async updateWorkspace_() {
    if (this.updateInProgress || this.serverEvents == 0) {
      return;
    }
    this.updateInProgress = true;
    while (this.serverEvents.length > 0) {
      const newServerEvents = this.serverEvents;
      this.serverEvents = [];
      const eventQueue = await this.processQueryResults_(newServerEvents);
      this.updateInProgress = false;
      this.listener.emit('runEvents', eventQueue);
    }
  }
Send server events to the local workspace. Continuously runs until all
server events have been sent.
@private