diff options
Diffstat (limited to 'test/snapshots/filewatch.snap')
| -rw-r--r-- | test/snapshots/filewatch.snap | 48 |
1 files changed, 48 insertions, 0 deletions
diff --git a/test/snapshots/filewatch.snap b/test/snapshots/filewatch.snap new file mode 100644 index 00000000..1ac8d081 --- /dev/null +++ b/test/snapshots/filewatch.snap @@ -0,0 +1,48 @@ +# external file updates: a write from outside pardes lands in the open pane, +# and Undo brings the unsaved edit back. That is the whole contract — the +# update is committed like any other edit, so nothing has to be merged. +lines w.txt 12 +start 30 150 -n 3 +wait 8000 w.txt +stable 700 20000 +# open w.txt as a file pane: type the name into the shell, right-click it +press left 5 8 +release left 5 8 +stable 400 5000 +key i +text w.txt +key esc +settle 100 +press right 6 8 +release right 6 8 +wait 10000 line 3 +stable 700 15000 +# an UNSAVED edit on line 1 +press left 10 3 +release left 10 3 +stable 400 5000 +key i +text MYEDIT +key esc +settle 100 +stable 400 5000 +snap edited +# overwrite the file from a shell in another column. The marker is split so +# the ECHOED command line never matches the wait — only the reloaded pane does +press left 60 5 +release left 60 5 +stable 400 5000 +key c-b +stable 600 8000 +text echo EXTERN''AL > w.txt +key enter +wait 10000 EXTERNAL +stable 700 10000 +snap reloaded +# back in the file pane: one undo and the unsaved edit is there again +press left 10 3 +release left 10 3 +stable 400 5000 +key u +stable 400 5000 +snap undone |
