Wahrstinker

Ah nice, time to kill the preferences file then, had the same problem, thank you!

The first issue about having to reassign some keys again and again after restarting the game seems to be not alone a problem of your system, i have this issue, too. It is rather strange, because *most* of my key assignments work, just a small number i have to re-assign every time...