doxygenOnClick: function () {
    window.open(exporter.toDoxygenURI(uistate.getAST()))
    gaga.g('send', 'event', 'show_doxygen', 'button')
  },