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