From 05f3d21c3e8fadcd1b0b49270d57e2645dd9c30a Mon Sep 17 00:00:00 2001
From: Holger Vogt <holger.vogt@uni-due.de>
Date: Thu, 21 May 2020 19:48:32 +0200
Subject: [PATCH] reset control structures (commands saved) upon 'quit'

---
 src/frontend/misccoms.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/frontend/misccoms.c b/src/frontend/misccoms.c
index 9c5a2c59b..596615dd2 100644
--- a/src/frontend/misccoms.c
+++ b/src/frontend/misccoms.c
@@ -108,7 +108,7 @@ com_quit(wordlist *wl)
 #ifdef SHARED_MODULE
     destroy_const_plot();
     spice_destroy_devices();
-
+    cp_resetcontrol(FALSE);
     /* add 1000 to notify that we exit from 'quit' */
     controlled_exit(1000 + exitcode);
 #else