more user help

A couple of additional things witnessed in between the frequent adds
shown by youtube (top prize goes to the recurring popup ad advertising
popup blocking).

He knew that ^D meant a control character but thought that he had to
type Ctrl+Shift+d instead of just being able to type Ctrl+d.  And he
had no idea what "meta key" meant.  (I don't think I've ever seen a
key labeled that myself.)

diff --git a/dat/hh b/dat/hh
index 17d68bf96077849840ad0d1e2d2f37c296a23946..94546065de258c67dd8b9eba2f038c293dcc75bd 100644 (file)
--- a/dat/hh
+++ b/dat/hh
@@ -41,6 +41,10 @@ V       history display game history
 #               introduces an extended command (#? for a list of them)
 &       what-does describe the command a keystroke invokes
 
+Control characters are depicted as '^' followed by a letter.  Depress Ctrl
+or Control like a shift key then type the letter.  Control characters are
+case-insensitive; ^D is the same as ^d, Ctrl+d is same as Ctrl+Shift+d.
+
 Game commands:
 ^D      kick    kick (a door, or something else)
 ^T      'port   teleport (if you can)
@@ -91,8 +95,9 @@ _       travel  move via a shortest-path algorithm to a point on the map
 :       look    look at what is here
 ;       farlook look at what is somewhere else by selecting a map symbol
 
-Keyboards that have a meta key can also use these extended commands
-via the meta modifier instead of the # prefix:
+Keyboards that have a meta key (some use Alt for that, so typing Alt as a
+shift plus 'e' would generate 'M-e') can also use these extended commands
+via the meta modifier as an alternative to using the # prefix:
 
 M-?             display extended command help (if the platform allows this)
 M-2     twoweapon toggle two-weapon combat (unless number_pad is enabled)