Please open a bug for that. I am right now working on this issue and it would be good to track it.
The keybindings in Pharo are really messy :(
Doru
On Tue, Jul 1, 2014 at 11:33 AM, Leo Perard leo.perard@gmail.com wrote:
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
Moose-dev mailing list Moose-dev@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev