I see that the bug was fixed. I however have this same problem in version 
1.4.2. I am on Mac OS X 10.8.2 with the latest Mac Mini. All other short cut 
keys do work without problem.

Reply via email to