diff options
| author | Gabriel Schneider <[email protected]> | 2026-10-01 14:04:47 -0300 |
|---|---|---|
| committer | Gabriel Schneider <[email protected]> | 2026-10-01 14:04:47 -0300 |
| commit | 54948bf22fb891bd31fcd5dc33e0bce7552fe1d4 (patch) | |
| tree | 180f523481936626607d7da8c44bdcd231c896e0 /docs/site | |
| parent | bf3ab868aa9092d90bdc318e6bac8d92044e5c2c (diff) | |
| download | pardes-54948bf22fb891bd31fcd5dc33e0bce7552fe1d4.tar.gz pardes-54948bf22fb891bd31fcd5dc33e0bce7552fe1d4.zip | |
A chords clip for the guide: B1 sweeps and stays down, B2 cuts, B3 pastes, B2 then B3 copies, every held button drawn
record_demos.py chords: a small notes file; each chord glides, stops,
presses B1 and keeps it down while B2 or B3 clicks. The pointer wears a
ring per button down and a mouse whose held buttons are lit, named
"left held + middle-click" and the like; B1 is drawn blue. clips.toml
lists it with landing = false, for the guide to embed.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
Diffstat (limited to 'docs/site')
| -rw-r--r-- | docs/site/media/captions.txt | 1 | ||||
| -rw-r--r-- | docs/site/media/chords.mp4 | bin | 0 -> 150705 bytes | |||
| -rw-r--r-- | docs/site/media/chords.png | bin | 0 -> 33061 bytes | |||
| -rw-r--r-- | docs/site/media/chords.webm | bin | 0 -> 139047 bytes | |||
| -rw-r--r-- | docs/site/media/clips.toml | 6 |
5 files changed, 7 insertions, 0 deletions
diff --git a/docs/site/media/captions.txt b/docs/site/media/captions.txt index e4370744..6a1a2274 100644 --- a/docs/site/media/captions.txt +++ b/docs/site/media/captions.txt @@ -5,3 +5,4 @@ text-is-the-interface: Middle-click make in the README; right-click the error. terminals-are-panes: A terminal is a pane: Ctrl-b, then move over its output. scripting-over-9p: A script drives the session through its virtual filesystem (9P). diff-review: Right-click a diff line to open that line of the file. +chords: Hold left, click middle to cut; click right to paste. diff --git a/docs/site/media/chords.mp4 b/docs/site/media/chords.mp4 Binary files differnew file mode 100644 index 00000000..43bc556b --- /dev/null +++ b/docs/site/media/chords.mp4 diff --git a/docs/site/media/chords.png b/docs/site/media/chords.png Binary files differnew file mode 100644 index 00000000..a140347c --- /dev/null +++ b/docs/site/media/chords.png diff --git a/docs/site/media/chords.webm b/docs/site/media/chords.webm Binary files differnew file mode 100644 index 00000000..42a6f4e6 --- /dev/null +++ b/docs/site/media/chords.webm diff --git a/docs/site/media/clips.toml b/docs/site/media/clips.toml index ca3002d0..11f6e8f3 100644 --- a/docs/site/media/clips.toml +++ b/docs/site/media/clips.toml @@ -39,3 +39,9 @@ ready = true name = "diff-review" caption = "Right-click a diff line to open that line of the file." ready = true + +[[clip]] +name = "chords" +caption = "Hold left, click middle to cut; click right to paste." +ready = true +landing = false |
