Fix AltGr/Application/Compose/CtrlAlt discrepancies introduced in windlg.c

rev 1.118 [r1033] (pointed out by Rob Pitman).

git-svn-id: svn://svn.tartarus.org/sgt/putty@1707 cda61777-01e9-0310-a592-d414129be87e

diff --git a/doc/config.but b/doc/config.but
index 49f1061..678d0f7 100644 (file)
--- 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
 
 
 \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.
 
 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}
 
 
 \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.
 
 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
 \H{config-bell} The Bell panel
 
 The Bell panel controls the terminal bell feature: the server's