The highlight of typed character in the Goto symbol panel is wrong, look like an offset shift due to space character:


version 20110130

By the way Jon, in which forum you like the bug reports, Technical Support or in the announcement post of the faulty version in General Discussion ?