Helmut Karlowski, 08.01.2013 16:50:05:
He could as well try it with a current build. The bug you found is in XaAES 0.999 too I think.
Or set alt_shortcuts=0 for default. -- Helmut Karlowski