On Wed, 9 Apr 2003, Florin Andrei wrote: > 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? The reference I found was http://www.unicode.org/charts/ . Michael Young
