blob: ebd97ec50ee76d4e8ae713eecd124aa6f16f0cd0 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
# MULTIPLE CURSORS on a real file pane. The differential suite (hxdiff) proves
# the model against a real helix but is headless, so this is the part it cannot
# see: that every range is actually on screen, that the primary reads
# differently from the others, and that ONE keystroke edits at all of them.
lines f.txt 12
start 31 150 -n 3
wait 8000 f.txt
stable 700 20000
# open f.txt in the left pane (type its name, right-click to Look)
press left 5 9
release left 5 9
stable 400 5000
key i
text f.txt
key esc
settle 100
press right 6 9
release right 6 9
wait 10000 line 3
stable 700 15000
# top of the file, then C C: three cursors, one per line, primary on line 3
key g g
stable 400 5000
key C C
stable 400 5000
snap three-cursors
# the colours ARE the feature here: the primary's cell against the two dimmer
# ones, each with its own bright cursor cell
snapstyle three-cursors
# one keystroke, three edits
key i
text >>
key esc
settle 100
stable 400 5000
snap edited-at-three
# a selection per cursor: e selects to the end of the first word at each
key g h w
stable 400 5000
snap three-selections
snapstyle three-selections
# `,` drops back to the primary alone; the two dim highlights must vanish
key ,
stable 400 5000
snap keep-primary
snapstyle keep-primary
|
