automatic/javascript/docs.js

let lastGitHubSearch = '';
let lastDocsSearch = '';

async function clickGitHubWikiPage(page) {
  log(`clickGitHubWikiPage: page="${page}"`);
  lastGitHubSearch = page;
  const el = gradioApp().getElementById('github_md_btn');
  if (el) el.click();
}

function getGitHubWikiPage() {
  return lastGitHubSearch;
}

async function clickDocsPage(page) {
  log(`clickDocsPage: page="${page}"`);
  lastDocsSearch = page;
  const el = gradioApp().getElementById('docs_md_btn');
  if (el) el.click();
}

function getDocsPage() {
  return lastDocsSearch;
}