diff --git a/TODO.md b/TODO.md index 5f8e68e..97c8797 100644 --- a/TODO.md +++ b/TODO.md @@ -3,6 +3,7 @@ - [x] execute terminal commands asynchronously using the `!` prefix (e.g. `!pwd`) and display the output in a floating window. - while waiting on executed commands, show their delayed labels/spinners in one independently styled element just left of the battery status in the top bar (top-right corner) - indicate also the command that we're waiting on, maybe something like the first three characters (followed by ellipses if truncated), e.g. `pwd ` or if the command was `echo $PATH`, then `ech... `. +- [ ] save reviewed (checkmark) state for files in the diff view too - we already save comments, so the reviewed state should be an easy addition. - [ ] diff view: GitHub code review integration after the local review UX is usable. - publish local reviews explicitly: general PR comments, inline line/range comments, review summaries, approval, and requests for changes. - preserve explicit PR identity and reviewed commit IDs; validate anchors against GitHub's PR diff and recheck the PR head before submission.