MySQL Bugs: #59528: Workbench 5.2.31a after typing the "`" backspace, delete can't be used

Bug #59528	Workbench 5.2.31a after typing the "`" backspace, delete can't be used
Submitted:	15 Jan 2011 23:59	Modified:	8 Mar 2011 14:16
Reporter:	Marcelo Mafra	Email Updates:
Status:	Closed	Impact on me:	None
Category:	MySQL Workbench: SQL Editor	Severity:	S2 (Serious)
Version:	5.2.31a	OS:	MacOS (10.6.6)
Assigned to:	Mike Lischke	CPU Architecture:	Any
Tags:	`, arrow keys, backspace, characters, DEL, not, strange, working

Description:
I've updated today (15/01/2011) my MySQL Workbench from 5.2.28 to 5.2.31a, but when I started using the SQL Editor a bug emerged. After a typed the ` (grave accent) key (as in `table`.`field`) and hit space. It came in double and after that when I hit  backspace, instead of erasing a BS character appears. While the Workbench is open the bug extends to the arrow key which instead of moving the cursor only show RS, FS, US and GS characters and the Delete key doesn't delete just keeps replacing the characters with a blank space.

The result is that I can't surround the strings like `table`.`field`, can't correct a typo.

A downgraded back to 5.2.28 and the bug disappeared.

Obs.: the downloaded .dmg file says 5.2.3.1a but the about box says 5.2.31 (revision 7115)
Sorry about my English. I hope it is understandable.

How to repeat:
Just on the SQL Editor and type the ` (grave accent) key and hi space and hit backspace or one of the arrow keys.

Happens when any control key (arrows, backspace etc) is pressed after a dead-key in a keymap like US International. Specific to Scintilla.

bug #59984 is a duplicate

Fixed in repository.

fix confirmed in repository

An entry has been added to the 5.2.32 changelog: 

        In the SQL Editor, if a '`' (grave accent) character was 
        entered, then any subsequently entered control keys such as the 
        arrow keys or the backspace key failed to function correctly.

Thanks, the problem is solved!