diff options
| author | Gabriel Schneider <[email protected]> | 2026-10-01 13:40:05 -0300 |
|---|---|---|
| committer | Gabriel Schneider <[email protected]> | 2026-10-01 13:40:05 -0300 |
| commit | d19cce311a827e7fb176ecc35cb0a49f2bc6899f (patch) | |
| tree | 8d64b46ed48a8177b1499b6bfd9005ee22eb81d5 | |
| parent | db86a91da1a77b2e177d7ef45d85ce0756aab732 (diff) | |
| download | pardes-d19cce311a827e7fb176ecc35cb0a49f2bc6899f.tar.gz pardes-d19cce311a827e7fb176ecc35cb0a49f2bc6899f.zip | |
The hero clip middle-clicks make in the README's text, not a word added to its tag: text in a document runs as a tag word does
Co-Authored-By: Claude Opus 5.5 <[email protected]>
| -rw-r--r-- | docs/site/media/captions.txt | 2 | ||||
| -rw-r--r-- | docs/site/media/clips.toml | 2 | ||||
| -rw-r--r-- | docs/site/media/text-is-the-interface.mp4 | bin | 276620 -> 275812 bytes | |||
| -rw-r--r-- | docs/site/media/text-is-the-interface.png | bin | 84823 -> 84504 bytes | |||
| -rw-r--r-- | docs/site/media/text-is-the-interface.webm | bin | 353359 -> 351601 bytes | |||
| -rw-r--r-- | test/record_demos.py | 13 |
6 files changed, 8 insertions, 9 deletions
diff --git a/docs/site/media/captions.txt b/docs/site/media/captions.txt index 47245043..e4370744 100644 --- a/docs/site/media/captions.txt +++ b/docs/site/media/captions.txt @@ -1,7 +1,7 @@ pdf-navigation: A 2,515-page PDF: page, jump to CPUID, search, step hits. image-pane: Right-click an image's name, even in a shell, to open it. pdf-tint-fit: PdfTint tints the page, PdfFit fits it, a page address jumps. -text-is-the-interface: Middle-click runs a word; right-click an error opens its line. +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. diff --git a/docs/site/media/clips.toml b/docs/site/media/clips.toml index f630930c..adb97762 100644 --- a/docs/site/media/clips.toml +++ b/docs/site/media/clips.toml @@ -21,7 +21,7 @@ ready = true [[clip]] name = "text-is-the-interface" -caption = "Middle-click runs a word; right-click an error opens its line." +caption = "Middle-click make in the README; right-click the error." ready = true [[clip]] diff --git a/docs/site/media/text-is-the-interface.mp4 b/docs/site/media/text-is-the-interface.mp4 Binary files differindex 35a3086c..b4a12c87 100644 --- a/docs/site/media/text-is-the-interface.mp4 +++ b/docs/site/media/text-is-the-interface.mp4 diff --git a/docs/site/media/text-is-the-interface.png b/docs/site/media/text-is-the-interface.png Binary files differindex 95a508c5..a31dcb78 100644 --- a/docs/site/media/text-is-the-interface.png +++ b/docs/site/media/text-is-the-interface.png diff --git a/docs/site/media/text-is-the-interface.webm b/docs/site/media/text-is-the-interface.webm Binary files differindex 8a8baa89..76c2c06b 100644 --- a/docs/site/media/text-is-the-interface.webm +++ b/docs/site/media/text-is-the-interface.webm diff --git a/test/record_demos.py b/test/record_demos.py index 9256e81e..3cc07f15 100644 --- a/test/record_demos.py +++ b/test/record_demos.py @@ -485,10 +485,9 @@ def encode(lossless, name, poster, crf_webm=30, crf_mp4=20): # the clips def hero_setup(s): - """README and main.c under it; `make` in the README's tag.""" + """README and main.c under it.""" s.write('/pane/1/look', f'{PROJECT}/src/main.c\n') s.wait(lambda: len(s.panes()) == 2, 'main.c') - s.write('/pane/1/tag', ' make') s.mouse('motion', 0, *s.cell_px(36, 9)) @@ -500,12 +499,12 @@ def pane_rows(s, name, rows=6): def text_is_the_interface(s): - """B2 on `make` in a tag opens its output pane; B3 on the error there - puts main.c on line 12.""" + """B2 on `make` in the README's text runs it, opening its output pane; + B3 on the error there puts main.c on line 12.""" s.pointer = s.cell_px(36, 9) s.shot(1.4) - col, row = s.find('make', 0) - s.click(2, *s.tag_px(col + 1, row), + col, row = s.find('with make,', 0) + s.click(2, *s.cell_px(col + 6, row), done=lambda: any(kind == 'cmd' and '(make) exit' in s.tag(n) for n, kind in s.panes().items()), what='make', after=1.2) col, row = s.find('src/main.c:12:5', 0) @@ -850,7 +849,7 @@ CLIPS = { caption='PdfTint tints the page, PdfFit fits it, a page address jumps.'), 'text-is-the-interface': dict( setup=hero_setup, run=text_is_the_interface, args=[PROJECT / 'README'], - caption='Middle-click runs a word; right-click an error opens its line.'), + caption='Middle-click make in the README; right-click the error.'), 'terminals-are-panes': dict( setup=shell_setup, run=terminals_are_panes, args=[PROJECT / 'src/main.c'], caption='A terminal is a pane: Ctrl-b, then move over its output.'), |
