1
0
mirror of https://git.tartarus.org/simon/putty.git synced 2025-03-22 14:39:24 -05:00

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

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

[originally from svn r1707]
[r1033 == d2369721bbebaddc3fa5b745981e861d016679f7]
This commit is contained in:
Jacob Nevins 2002-05-30 12:41:07 +00:00
parent f6c9873c96
commit d5e66f6098

View File

@ -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 easy to remember; for example, composing \q{e} and \q{`} produces
the \q{\u00e8{e-grave}} character. the \q{\u00e8{e-grave}} character.
If you enable the \q{Application and AltGr act as Compose key} If your keyboard has a Windows Application key, it acts as a Compose
option, the Windows Application key and the AltGr key will both have key in PuTTY. Alternatively, if you enable the \q{AltGr acts as
this behaviour. 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 so you can use it to type extra graphic characters if your keyboard
has any. 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 \H{config-bell} The Bell panel
The Bell panel controls the terminal bell feature: the server's The Bell panel controls the terminal bell feature: the server's