vanillaOnClick: function () {
    window.open(exporter.toVanillaMscGenURI(uistate.getAST()))
    gaga.g('send', 'event', 'show_vanilla', 'button')
  },