Stabiliteitsverbetering sneltoets Ctrl+S

Het kwam voor dat de sneltoets Ctrl+S niet altijd werkte. Dit hebben we opgelost.