X-Git-Url: https://asedeno.scripts.mit.edu/gitweb/?a=blobdiff_plain;f=doc%2Fconfig.but;h=678d0f76a282a348a78f68c503715f78f7a6d855;hb=452adcc95284e64df88f84efdc2d3d0f1ff5d7f1;hp=49f106153674bd8760f3d27fab4e1e822ee3ad42;hpb=2cd8ddb17d18124cf4c27beb837d826840415b4c;p=PuTTY.git

diff --git a/doc/config.but b/doc/config.but
index 49f10615..678d0f76 100644
--- a/doc/config.but
+++ b/doc/config.but
@@ -1,4 +1,4 @@
-\versionid $Id: config.but,v 1.33 2002/05/22 21:18:06 jacob Exp $
+\versionid $Id: config.but,v 1.34 2002/05/30 12:41:07 jacob Exp $
 
 \C{config} Configuring PuTTY
 
@@ -569,9 +569,9 @@ an accented character. The choices of character are designed to be
 easy to remember; for example, composing \q{e} and \q{`} produces
 the \q{\u00e8{e-grave}} character.
 
-If you enable the \q{Application and AltGr act as Compose key}
-option, the Windows Application key and the AltGr key will both have
-this behaviour.
+If your keyboard has a Windows Application key, it acts as a Compose
+key in PuTTY. Alternatively, if you enable the \q{AltGr acts as
+Compose key} option, the AltGr key will become a Compose key.
 
 \S{config-ctrlalt} \q{Control-Alt is different from AltGr}
 
@@ -592,6 +592,10 @@ If you uncheck this box, Ctrl-Alt will become a synonym for AltGr,
 so you can use it to type extra graphic characters if your keyboard
 has any.
 
+(However, Ctrl-Alt will never act as a Compose key, regardless of the
+setting of \q{AltGr acts as Compose key} described in
+\k{config-compose}.)
+
 \H{config-bell} The Bell panel
 
 The Bell panel controls the terminal bell feature: the server's