On Wed, 2003-04-09 at 07:32, M A Young wrote: > > One solution is to use the unicode encoding - hold down control-shift and > type e7 (or c7 for capital - except it doesn't work in gnome-terminal > for some reason - time to visit bugzilla again). Where's the full list of all these key combinations? -- Florin Andrei "CSS is a sort of electronic-thought policeman that comes home with you and works for the media owner. It controls what you can do in your living room with a DVD that you've paid for. It prevents many legitimate uses in the name of stopping one illegitimate use." - Bruce Perens