It appears that ' and ALT-GR ´ have been swopped. Also, in order to get that ALT-GR ´, one has to to press ' twice. I wondered whether ´ was being used as the character compose escape, but that doesn't seem to be the case.
The work around, for now, appears to be use ALT-GR ' to get a plain ascii ' -- [feisty] gnome-terminal emits wrong character for quote on GB keyboard https://launchpad.net/bugs/96921 -- desktop-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
