redo(): void {
   if (this.can_redo()) {
     this.state.index += 1
     this._do_state_change(this.state.index)
     this.state_changed.emit()
   }
 }

  push_state(type: string, new_info: Partial<StateInfo>): void {
    const {history, index} = this.state

    const prev_info = history[index] != null ? history[index].info : {}
    const info = extend({}, this._initial_state_info, prev_info, new_info)

    this.state.history = this.state.history.slice(0, this.state.index + 1)
    this.state.history.push({type, info})
    this.state.index = this.state.history.length - 1

    this.state_changed.emit()
  }

  initialize(options: any): void {
    this.pause()

    super.initialize(options)

    this._tiles_loaded = false
    this.zoom_count = 0

    const {zoom, lat, lng} = this.model.map_options
    this.initial_zoom = zoom
    this.initial_lat = lat
    this.initial_lng = lng

    this.canvas_view.map_el!.style.position = "absolute"

    if (typeof google === "undefined" || google.maps == null) {
      if (typeof window._bokeh_gmaps_callback === "undefined") {
        load_google_api(this.model.api_key)
      }
      gmaps_ready.connect(() => this.request_render())
    }

    this.unpause()
  }

document.addEventListener("click", () => clear_menus.emit())

 clear_state(): void {
   this.state = {history: [], index: -1}
   this.state_changed.emit()
 }

this.throttled_paint = throttle((() => this.force_paint.emit()), 15)  // TODO (bev) configurable

 update({left, right, top, bottom}: {left: number | null, right: number | null, top: number | null, bottom: number | null}): void {
   this.setv({left, right, top, bottom, screen: true}, {silent: true})
   this.data_update.emit()
 }

 window._bokeh_gmaps_callback = () => gmaps_ready.emit()

 update({xs, ys}: {xs: number[], ys: number[]}): void {
   this.setv({xs, ys, screen: true}, {silent: true})
   this.data_update.emit()
 }