dotOnClick: function () {
    window.open(exporter.todotURI(uistate.getAST()))
    gaga.g('send', 'event', 'show_dot', 'button')
  },