Hi @Gijs
I had another problem, and fixing that (updating a just 4 months old Nvidia driver) seems to have fixed the undo/redo issue also. There must have been something choking my entire graphics system in that driver 
Thanks for chiming in, as always 
-Jakob
1 Like