X-Git-Url: https://git.distorted.org.uk/u/mdw/putty/blobdiff_plain/f0fccd51c27b5cbe8990e625a7bdcf9972142d1f..b7a5df6665ba439c03e70e17a1fdbdce26680ddd:/doc/config.but?ds=sidebyside

diff --git a/doc/config.but b/doc/config.but
index 503f9663..f66373b9 100644
--- a/doc/config.but
+++ b/doc/config.but
@@ -1,4 +1,4 @@
-\versionid $Id: config.but,v 1.78 2004/05/22 10:36:50 simon Exp $
+\versionid $Id: config.but,v 1.81 2004/06/10 10:01:11 jacob Exp $
 
 \C{config} Configuring PuTTY
 
@@ -840,7 +840,7 @@ Arabic text shaping so that PuTTY displays precisely the characters
 it is told to display.
 
 You may also find you need to disable bidirectional text display;
-see \S{config-features-bidi}.
+see \k{config-features-bidi}.
 
 \S{config-features-bidi} Disabling bidirectional text display
 
@@ -861,7 +861,7 @@ bidirectional text display, so that PuTTY displays text from left to
 right in all situations.
 
 You may also find you need to disable Arabic text shaping;
-see \S{config-features-arabicshaping}.
+see \k{config-features-shaping}.
 
 \H{config-window} The Window panel
 
@@ -1012,7 +1012,11 @@ followed by \q{PuTTY}, for example \c{server1.example.com - PuTTY}.
 If you want a different window title, this is where to set it.
 
 PuTTY allows the server to send \c{xterm} control sequences which
-modify the title of the window in mid-session. There is also an
+modify the title of the window in mid-session (unless this is disabled -
+see \k{config-features-retitle}); the title string set here
+is therefore only the \e{initial} window title.
+
+As well as the \e{window} title, there is also an
 \c{xterm} sequence to modify the title of the window's \e{icon}.
 This makes sense in a windowing system where the window becomes an
 icon when minimised, such as Windows 3.1 or most X Window System
@@ -2321,9 +2325,9 @@ line options, so it's all automatic. Here is what you need in
 \c regedit /s putty.reg
 \c regedit /s puttyrnd.reg
 \c start /w putty.exe
-\c regedit /ea puttynew.reg HKEY_CURRENT_USER\Software\SimonTatham\PuTTY
-\c copy puttynew.reg putty.reg
-\c del puttynew.reg
+\c regedit /ea new.reg HKEY_CURRENT_USER\Software\SimonTatham\PuTTY
+\c copy new.reg putty.reg
+\c del new.reg
 \c regedit /s puttydel.reg
 
 This batch file needs two auxiliary files: \c{PUTTYRND.REG} which