A ( tiny ) KEYBOARD TIP
If you want to be able to: é ö ç õ
à ê change your keyboard settings to "us
international"
The
only downside is that you'll have to press the key twice in order to
get ~ " ` ^ ' . or press the " followed by a space to get the accent
print to screen. There is even a clear difference between ¨ and " .
.
the first is pressed twice and the second is the same key pressed once
followed by a space . . . ( only pressing the " prints nothing to
screen )

Bruno
-- Apr 27 2003 ( Revised Dec 15 2005 ) --