Ok, newest information.
The denemo authors replied, and  they know about the problem. I am
going to fix it by disabling the redo feature. We will have to
wait for the next upstream release in order to get this fixed
permanently.

Günter

Reply via email to