Issues

• Choose the font for code

  idea
  vivecuervo7/docent#25 · Filter by author vivecuervo7 opened on Nov 3, 2026

• Light mode, and a choice of theme

  planned
  vivecuervo7/docent#24 · Filter by author vivecuervo7 opened on Nov 3, 2026

• Choose how much of the diff is collapsed for you

  idea
  vivecuervo7/docent#23 · Filter by author vivecuervo7 opened on Nov 3, 2026
  1

• Clear cached repos after a while

  planned
  vivecuervo7/docent#22 · Filter by author vivecuervo7 opened on Nov 3, 2026

• Use more than one GitHub account

  idea
  vivecuervo7/docent#21 · Filter by author vivecuervo7 opened on Nov 3, 2026

• Show which GitHub account Docent uses

  idea
  vivecuervo7/docent#20 · Filter by author vivecuervo7 opened on Nov 3, 2026

• Release notes

  planned
  vivecuervo7/docent#19 · Filter by author vivecuervo7 opened on Nov 3, 2026

• Proper releases, and how Docent is distributed

  idea
  vivecuervo7/docent#18 · Filter by author vivecuervo7 opened on Nov 3, 2026

• A folded region's marker can hide a kept finding

  bug
  vivecuervo7/docent#17 · Filter by author vivecuervo7 opened on Nov 3, 2026

• Cancel a running panel

  planned
  vivecuervo7/docent#16 · Filter by author vivecuervo7 opened on Nov 3, 2026

• Add your own instructions to a panel run

  idea
  vivecuervo7/docent#15 · Filter by author vivecuervo7 opened on Nov 3, 2026

• Place GitHub threads where they fit the review

  idea
  vivecuervo7/docent#14 · Filter by author vivecuervo7 opened on Nov 3, 2026

• Give the panel the earlier rounds

  idea
  vivecuervo7/docent#13 · Filter by author vivecuervo7 opened on Nov 3, 2026

• A more detailed breakdown of rounds on Stats

  idea
  vivecuervo7/docent#12 · Filter by author vivecuervo7 opened on Nov 3, 2026

• Ask about findings on the PR as a whole

  planned
  vivecuervo7/docent#11 · Filter by author vivecuervo7 opened on Nov 3, 2026

• Keep a review entirely local

  idea
  vivecuervo7/docent#10 · Filter by author vivecuervo7 opened on Nov 3, 2026

• Ship as a desktop app

  vivecuervo7/docent#7 · Filter by author robdmoore opened on Nov 3, 2026