Fix large memory leak introduced in the r4915 bidi changes.

[u/mdw/putty] / doc / using.but

diff --git a/doc/using.but b/doc/using.but
index d0729b4..49b3fcd 100644 (file)
--- a/doc/using.but
+++ b/doc/using.but
@@ -1,4 +1,4 @@
-\versionid $Id: using.but,v 1.36 2004/10/19 13:54:50 jacob Exp $
+\define{versionidusing} \versionid $Id$
 
 \C{using} Using PuTTY
 
@@ -204,10 +204,13 @@ sessions:
 \b Selecting \i{\q{New Session}} will start a completely new
 instance of PuTTY, and bring up the configuration box as normal.
 
-\b Selecting \i{\q{Duplicate Session}} will start a session with
-precisely the same options as your current one - connecting to the
-same host using the same protocol, with all the same terminal
-settings and everything.
+\b Selecting \i{\q{Duplicate Session}} will start a session in a
+new window with precisely the same options as your current one -
+connecting to the same host using the same protocol, with all the
+same terminal settings and everything.
+
+\b In an inactive window, selecting \i{\q{Restart Session}} will
+do the same as \q{Duplicate Session}, but in the current window.
 
 \b The \i{\q{Saved Sessions} submenu} gives you quick access to any
 sets of stored session details you have previously saved. See
@@ -506,8 +509,9 @@ use the \c{-load} option (described in \k{using-cmdline-load}).
 \S{using-cleanup} \i\c{-cleanup}
 
 If invoked with the \c{-cleanup} option, rather than running as
-normal, PuTTY will remove its registry entries and random seed file
-from the local machine (after confirming with the user).
+normal, PuTTY will remove its \I{removing registry entries}registry
+entries and \I{random seed file} from the local machine (after
+confirming with the user).
 
 \S{using-general-opts} Standard command-line options
 
@@ -533,7 +537,7 @@ call something like
 \c d:\path\to\putty.exe -load "my session"
 
 (Note that PuTTY itself supports an alternative form of this option,
-for backwards compatibility. If you execute \c{putty @sessionname}
+for backwards compatibility. If you execute \i\c{putty @sessionname}
 it will have the same effect as \c{putty -load "sessionname"}. With
 the \c{@} form, no double quotes are required, and the \c{@} sign
 must be the very first thing on the command line. This form of the
@@ -705,7 +709,7 @@ These options are not available in the file transfer tools PSCP and
 PSFTP.
 
 \S2{using-cmdline-noshell} \I{-N-upper}\c{-N}: suppress starting a
-shell or command
+\I{suppressing remote shell}shell or command
 
 The \c{-N} option prevents PuTTY from attempting to start a shell or
 command on the remote server. You might want to use this option if
@@ -719,7 +723,7 @@ This option is equivalent to the \q{Don't start a shell or command
 at all} checkbox in the SSH panel of the PuTTY configuration box
 (see \k{config-ssh-noshell}).
 
-These options are not available in the file transfer tools PSCP and
+This option is not available in the file transfer tools PSCP and
 PSFTP.
 
 \S2{using-cmdline-compress} \I{-C-upper}\c{-C}: enable \i{compression}