Bug #67652 the "space" char does not work anymore
Submitted: 20 Nov 2012 20:45 Modified: 16 May 2013 23:46
Reporter: Cyrille Giquello Email Updates:
Status: Closed Impact on me:
None 
Category:MySQL Workbench: SQL Editor Severity:S2 (Serious)
Version:5.2.47 OS:Linux
Assigned to: CPU Architecture:Any
Tags: keyboard, workbench

[20 Nov 2012 20:45] Cyrille Giquello
Description:
Sine I've updated from 5.2.38 to 5.2.44 I cannot type the character "space", yes, the "space" touch does nothing.
The "space" touch only works with the "control" touch for completion, but not as a simple charater.
Very strange, isn't it ?

How to repeat:
Ubuntu 12.04.1 LTS 64 bits
Mysql Workbench installed from mysql-workbench-gpl-5.2.44-1ubu1204-amd64.deb
[11 Feb 2013 18:26] Ruben Dario Morquecho Valdez
could you please try new WorkBwnch Version 5.2.46?
if this bug still happens , could you pleas provide details (steps) in order to reproduce it.

Thank you for your interest in MySQL Workbench!
[16 May 2013 23:46] Cyrille Giquello
Great, with version 5.2.47 the problem is solved.

I don't knwow with 5.2.46.

Thanks a lot.

Cheers.