Editorial policy change: I've decided that it's better to use \q

[sgt/putty] / doc / config.but

diff --git a/doc/config.but b/doc/config.but
index a79de22..77a4d00 100644 (file)
--- a/doc/config.but
+++ b/doc/config.but
@@ -1,4 +1,4 @@
-\versionid $Id: config.but,v 1.12 2001/11/25 16:57:45 simon Exp $
+\versionid $Id: config.but,v 1.13 2001/11/25 17:32:39 simon Exp $
 
 \C{config} Configuring PuTTY
 
@@ -6,7 +6,7 @@ This chapter describes all the configuration options in PuTTY.
 
 PuTTY is configured using the control panel that comes up before you
 start a session. Some options can also be changed in the middle of a
-session, by selecting \e{Change Settings} from the window menu.
+session, by selecting \q{Change Settings} from the window menu.
 
 \H{config-session} The Session panel
 
@@ -20,19 +20,19 @@ The top box on the Session panel, labelled \q{Specify your
 connection by host name}, contains the details that need to be
 filled in before PuTTY can open a session at all.
 
-\b The \e{Host Name} box is where you type the name, or the IP
+\b The \q{Host Name} box is where you type the name, or the IP
 address, of the server you want to connect to.
 
-\b The \e{Protocol} radio buttons let you choose what type of
+\b The \q{Protocol} radio buttons let you choose what type of
 connection you want to make: a raw connection, a Telnet connection, an
 rlogin connection or an SSH connection. (See \k{which-one} for a
 summary of the differences between SSH, Telnet and rlogin.)
 
-\b The \e{Port} box lets you specify which port number on the server
+\b The \q{Port} box lets you specify which port number on the server
 to connect to. If you select Telnet, Rlogin, or SSH, this box will be
 filled in automatically to the usual value, and you will only need to
 change it if you have an unusual server. If you select Raw mode, you
-will almost certainly need to fill in the \e{Port} box.
+will almost certainly need to fill in the \q{Port} box.
 
 \S{config-saving} Loading and storing saved sessions
 
@@ -46,7 +46,7 @@ PuTTY needs to start exactly the session you want.
 \b To save your default settings: first set up the settings the way
 you want them saved. Then come back to the Session panel. Select the
 \q{Default Settings} entry in the saved sessions list, with a single
-click. Then press the \e{Save} button.
+click. Then press the \q{Save} button.
 
 Note that PuTTY does not allow you to save a host name into the
 Default Settings entry. This ensures that when PuTTY is started up,
@@ -59,26 +59,26 @@ separate from the Default Settings.
 
 \b To save a session: first go through the rest of the configuration
 box setting up all the options you want. Then come back to the
-Session panel. Enter a name for the saved session in the \e{Saved
+Session panel. Enter a name for the saved session in the \q{Saved
 Sessions} input box. (The server name is often a good choice for a
-saved session name.) Then press the \e{Save} button. Your saved
+saved session name.) Then press the \q{Save} button. Your saved
 session name should now appear in the list box.
 
 \b To reload a saved session: single-click to select the session
-name in the list box, and then press the \e{Load} button. Your saved
+name in the list box, and then press the \q{Load} button. Your saved
 settings should all appear in the configuration panel.
 
 \b To modify a saved session: first load it as described above. Then
 make the changes you want. Come back to the Session panel,
 single-click to select the session name in the list box, and press
-the \e{Save} button. The new settings will be saved over the top of
+the \q{Save} button. The new settings will be saved over the top of
 the old ones.
 
 \b To start a saved session immediately: double-click on the session
 name in the list box.
 
 \b To delete a saved session: single-click to select the session
-name in the list box, and then press the \e{Delete} button.
+name in the list box, and then press the \q{Delete} button.
 
 Each saved session is independent of the Default Settings
 configuration. If you change your preferences and update Default
@@ -192,7 +192,7 @@ could try turning this option off.
 
 Auto wrap mode can be turned on and off 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 \e{Change
+state. If you modify this option in mid-session using \q{Change
 Settings}, you will need to reset the terminal \#{ FIXME } before
 the change takes effect.
 
@@ -219,7 +219,7 @@ Mode on to see whether that helps.
 
 DEC Origin Mode can be turned on and off 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 \e{Change
+state. If you modify this option in mid-session using \q{Change
 Settings}, you will need to reset the terminal \#{ FIXME } before
 the change takes effect.
 
@@ -554,7 +554,7 @@ PuTTY window and its behaviour.
 
 \S{config-winsize} Setting the size of the PuTTY window
 
-The \e{Rows} and \e{Columns} boxes let you set the PuTTY window to a
+The \q{Rows} and \q{Columns} boxes let you set the PuTTY window to a
 precise size. Of course you can also drag the window to a new size
 while a session is running.