Repository navigation

REPL in CLI - #582

Draft

thomasp85 wants to merge 8 commits into

mainfrom

Draft

REPL in CLI#582
thomasp85 wants to merge 8 commits into
mainfrom
repl

Commits on Oct 9, 2026
- Scaffold for REPL - no window yet
  thomasp85
  committed
  669faa1
- Hook up the window
  thomasp85
  committed
  38e10c2
- Make the repl window only
  thomasp85
  committed
  beeb098
- Merge branch 'main' into repl
  thomasp85
  authored
  9ab5dcd
Commits on Nov 2, 2026
- Fix pin
  thomasp85
  committed
  d884094
Commits on Nov 3, 2026
- Merge remote-tracking branch 'origin/main' into repl
  thomasp85
  committed
  32ea6a6
- Add footer on truncation
  thomasp85
  committed
  c79ed96
- additional meta commands
  thomasp85
  committed
  b65045c