~mdw
/
sgt
/
putty
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add support for pop-up menus (drop-down lists in Windows parlance).
[sgt/putty]
/
doc
/
config.but
diff --git
a/doc/config.but
b/doc/config.but
index
18af04c
..
768610a
100644
(file)
--- a/
doc/config.but
+++ b/
doc/config.but
@@
-1,4
+1,4
@@
-\versionid $Id: config.but,v 1.5
8 2003/03/06 12:51:12
simon Exp $
+\versionid $Id: config.but,v 1.5
9 2003/03/07 09:03:11
simon Exp $
\C{config} Configuring PuTTY
\C{config} Configuring PuTTY
@@
-856,7
+856,7
@@
terminal contents. You can disable this behaviour by turning off
screen revert when you press a key, by turning on \q{Reset
scrollback on keypress}.
screen revert when you press a key, by turning on \q{Reset
scrollback on keypress}.
-\S{config-scrollback} \q{Push erased text into scrollback}
+\S{config-
eraseto
scrollback} \q{Push erased text into scrollback}
\cfg{winhelp-topic}{window.erased}
\cfg{winhelp-topic}{window.erased}