Document the fact that character classes are a default-only

[sgt/putty] / doc / config.but

diff --git a/doc/config.but b/doc/config.but
index cb7eb66..604fcb1 100644 (file)
--- a/doc/config.but
+++ b/doc/config.but
@@ -1,4 +1,4 @@
-\versionid $Id: config.but,v 1.25 2002/02/04 13:18:54 simon Exp $
+\versionid $Id: config.but,v 1.26 2002/02/24 15:25:19 simon Exp $

 
 \C{config} Configuring PuTTY
 
 
 \C{config} Configuring PuTTY
 


@@ -1064,6 +1064,12 @@ box below, and press the \q{Set} button.
 This mechanism currently only covers ASCII characters, because it
 isn't feasible to expand the list to cover the whole of Unicode.
 
 This mechanism currently only covers ASCII characters, because it
 isn't feasible to expand the list to cover the whole of Unicode.
 

+Character class definitions can be modified by control sequences
+sent by the server. This configuration option only controls the
+\e{default} state. If you modify this option in mid-session using
+\q{Change Settings}, you will need to reset the terminal (see
+\k{reset-terminal}) before the change takes effect.
+

 \H{config-colours} The Colours panel
 
 The Colours panel allows you to control PuTTY's use of colour.
 \H{config-colours} The Colours panel
 
 The Colours panel allows you to control PuTTY's use of colour.