[Moose-dev] Playground and Shortcuts

Hi all, the usual shortcuts with Linux (Alt+d for example) are not working with the Playground. I have to use the Ctrl+ shortcut to use it. I replace the playground by the workspace and it works with it so I guess the bug is in the playground. But not all of the shortcuts are not working, for example Alt+o is working. The list of those that do not work: Alt+a Alt+i Alt+d Alt+c Alt+x Alt+v maybe others but I didn't check them all. I'm on ubuntu 13.10 64bits. -- Cheers, Leo Perard University of Lille 1