diff options
| author | Roger Peppe <rogpeppe@gmail.com> | 2021-10-19 17:08:45 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-19 12:08:45 -0400 |
| commit | d0d440860f2000a1560abb3f593cdc325fcead4c (patch) | |
| tree | d4d192573662f8dd1eee657f7d116d42774cbe85 /man | |
| parent | 7b0b2065faf449f820b092afb74cf0af2dae79a3 (diff) | |
src/cmd/acme: provide info on presense or absence of undo history (#528)
It's sometimes useful to know whether there's been editing activity
in a window. This PR adds that information to the ctl file.
Change-Id: I21a342ac636dd5c7701b3ed560e3526867329c2c
Diffstat (limited to 'man')
| -rw-r--r-- | man/man4/acme.4 | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/man/man4/acme.4 b/man/man4/acme.4 index a285b3b8..f55a85b7 100644 --- a/man/man4/acme.4 +++ b/man/man4/acme.4 @@ -184,9 +184,10 @@ is always appended; the file offset is ignored. .B ctl may be read to recover the five numbers as held in the .B index -file, described above, plus three more fields: the width of the -window in pixels, the name of the font used in the window, -and the width of a tab character in pixels. +file, described above, plus five more fields: the width of the +window in pixels; the name of the font used in the window; +the width of a tab character in pixels; a 1 if there is undo history, 0 otherwise; +a 1 if there is redo history, 0 otherwise. Text messages may be written to .B ctl to affect the window. |