]> git.tuebingen.mpg.de Git - paraslash.git/blob - play.cmd
fa6dd58415a1e54d2940fced33fb4a9e338c6fda
[paraslash.git] / play.cmd
1 BN: play
2 SF: play.c
3 SN: list of commands
4 ---
5 N: pause
6 D: Stop playing.
7 U: pause
8 H: When paused, it is still possible to jump around in the file via the jmp and ff
9 H: comands.
10 ---
11 N: tasks
12 D: Print list of active tasks.
13 U: tasks
14 H: Mainly useful for debugging.
15 ---
16 N: quit
17 D: Exit para_play.
18 U: quit
19 H: Pressing CTRL+D causes EOF on stdin which also exits para_play.