pr-inbox

  on('ui.render', { component: 'Pane' }, async ($, e, next) => {
    if (e.requestId !== PANE || !diffView) return next(e)
    const kit = $.ui.resolve(e)
    const { Box, Link, Code, Markdown } = kit
    const { Text, Button } = glyphed(kit)
    type El = ReturnType<typeof Box>
    const redraw = () => $.ui.invalidate('ui.render')
    // One cell short of the width: a symbol a terminal draws two cells wide does not wrap a full-width row
    const columns = Math.max(40, (e.props.bodyColumns ?? 80) - 1)
    const focused = e.props.isFocused === true
    const v = diffView
    const key = (k: string, label: string, hotkey: string, onPress: () => void, dim = false) =>
      Button({ key: k, label, hotkey, plain: true, dimColor: dim, onPress })
    const close = key('diff-close', 'back', 'q', () => {
      diffView = undefined
      redraw()
    })
    const { pr } = v
    const label = `${pr.repository.nameWithOwner.split('/')[1] ?? pr.repository.nameWithOwner}#${pr.number}`
    const prLink = safeHref(pr.url)
    const head: El[] = [
      Box({
        flexDirection: 'row',
        columnGap: 1,
        children: [
          Text({ color: focused ? NEON.pink : NEON.rule, children: ['▍'] }),
          Text({ color: NEON.pink, bold: true, children: ['read'] }),
          prLink
            ? Link({ href: prLink, children: [Text({ color: NEON.cyan, underline: true, children: [label] })] })
            : Text({ children: [label] }),
          Text({ bold: true, wrap: 'truncate-end', children: [fit(pr.title, Math.max(10, columns - textWidth(label) - 8))] }),
        ],
      }),
    ]
    const rule = Text({ color: focused ? NEON.violet : NEON.rule, children: ['━'.repeat(columns)] })
    const toast = (text: string) => $.ui.toast(text, { timeoutMs: 4000 })
    // n: the next PR in the list, read the same way
    const nextPr = () => {
      const rows = visibleRows(groups(fetchedAt || Date.now()))
      const i = rows.findIndex((p) => p.url === pr.url)
      const following = rows[i + 1] ?? (i < 0 ? rows[0] : undefined)
      if (!following) return toast('This is the last PR in the list · q goes back')
      selected = following.url
      void openDiff($, following)
    }
    const nextKey = key('diff-next-pr', 'next PR', 'n', nextPr, true)
    if (v.loading || v.error) {
      const what = v.loading
        ? `${SPINNER[Math.floor(Date.now() / 100) % SPINNER.length]} fetching the PR…`
        : `✗ ${fit(v.error, columns - 4)}`
      // A failed read still offers the way on: the whole PR (when this was the change since your approval), GitHub,
      // the next PR, back
      const ways = v.error
        ? [
            ...(isApproved(pr) && approvalOutdated(pr) ? [key('diff-since', 'all changes', 't', () => void openDiff($, pr, 'all'))] : []),
            key('diff-open', 'open on GitHub', 'o', async () => void (await $.process.run(['gh', 'pr', 'view', pr.url, '--web']))),
            nextKey,
          ]
        : []
      const tree = [
        ...head,
        rule,
        Text({ color: v.error ? NEON.red : NEON.muted, children: [what] }),
        Box({ flexDirection: 'row', columnGap: 2, children: [...ways, close] }),
      ]
      return Box({ flexDirection: 'column', children: [...tree, keyCatcher(kit, tree, () => 'Still fetching · q goes back', toast)] })
    }
    const files = v.files
    // Pages: the description, then each file
    const pages = files.length + 1
    const at = Math.min(Math.max(0, v.at), pages - 1)
    const file = at > 0 ? (files[at - 1] as DiffFile) : undefined
    const go = (to: number) => {
      v.at = Math.min(Math.max(0, to), pages - 1)
      v.block = 0
      v.list = false
      redraw()
    }
    const counts = (f: DiffFile) => `+${f.additions} -${f.deletions}`
    const marks = (f: DiffFile) => {
      const found = findingsIn(pr, f.path)
      const bad = found.filter((x) => findingMark(x) === '✗').length
      const soft = found.length - bad
      return { bad, soft, text: [bad ? `✗${bad}` : '', soft ? `△${soft}` : ''].filter(Boolean).join(' ') }
    }
    // j/k: the next or previous block of lines, scrolled to the top of the pane
    const blocks = file && !(isGenerated(file.path) && !v.showGenerated.has(file.path)) ? file.pieces.length : 0
    const scrollTo = (block: number) => {
      if (blocks === 0) return toast(file ? 'Nothing to scroll here · l: next file' : 'j/k scroll a file · l: the first file')
      v.block = Math.min(Math.max(0, block), blocks - 1)
      $.ui.scroll(v.block === 0 ? { to: 'start', in: PANE } : { to: { key: `block-${v.block}` }, in: PANE, block: 'start' }).catch(() => {
        // A surface that does not scroll: the arrow keys still do
      })
    }
    // What you can do with the PR without leaving the reader
    const isReview = review.some((p) => p.url === pr.url)
    const actOnPr: El[] = []
    if (isReview && reviews.get(pr.url)?.state !== 'running') actOnPr.push(key('diff-approve', 'approve', 'a', () => void approve($, pr)))
    if (isApproved(pr) && approvalOutdated(pr)) actOnPr.push(key('diff-approve', 'approve again', 'a', () => void approve($, pr)))
    if (isReview)
      actOnPr.push(
        key('diff-review', reviews.get(pr.url)?.state === 'running' ? 'cancel review' : 'review', 'v', () => void aiReview($, pr)),
      )
    actOnPr.push(
      key('diff-explain', mine.some((p) => p.url === pr.url) ? 'diagnose' : 'explain', 'e', () => {
        void $.prompt.submit({ text: explainRequest(pr), asUser: true })
        toast(`Asked Claude about #${pr.number}`)
      }),
    )
    // Since your approval, or the whole PR
    const since = v.since
    const toggleSince =
      isApproved(pr) && approvalOutdated(pr)
        ? [
            key('diff-since', since ? 'all changes' : 'since approval', 't', () => {
              void openDiff($, pr, since ? 'all' : 'since')
            }),
          ]
        : []
    const keys = Box({
      key: 'diff-keys',
      flexDirection: 'row',
      flexWrap: 'wrap',
      columnGap: 2,
      children: v.list
        ? [
            key('diff-cursor-down', '↓', 'j', () => {
              v.cursor = Math.min(pages - 1, v.cursor + 1)
              redraw()
            }),
            key('diff-cursor-up', '↑', 'k', () => {
              v.cursor = Math.max(0, v.cursor - 1)
              redraw()
            }),
            key('diff-pick', 'open', 'l', () => go(v.cursor)),
            key('diff-list', 'close', 'f', () => {
              v.list = false
              redraw()
            }),
            close,
          ]
        : [
            key('diff-prev', '◂', 'h', () => (at === 0 ? toast('This is the description · l: the first file') : go(at - 1)), at === 0),
            key(
              'diff-next',
              '▸',
              'l',
              () => (at === pages - 1 ? toast('End of this PR · n: the next PR · q: back') : go(at + 1)),
              at === pages - 1,
            ),
            key('diff-down', '↓', 'j', () => scrollTo(v.block + 1), blocks === 0),
            key('diff-up', '↑', 'k', () => scrollTo(v.block - 1), blocks === 0),
            key('diff-list', 'files', 'f', () => {
              v.list = true
              v.cursor = at
              redraw()
            }),
            ...(file && isGenerated(file.path)
              ? [
                  key('diff-generated', v.showGenerated.has(file.path) ? 'fold' : 'show', 'g', () => {