flush Stage>>keysPressed when prompting the user

2 files changed, 7 insertions, 1 deletions

diff --git a/history.txt b/history.txt
index 8a2066d..ef96624 100755
--- a/history.txt
+++ b/history.txt
@@ -2493,3 +2493,8 @@ ______
 ------
 * Threads: fixed #752
 * OOP: integrated and adjusted fix for #752
+
+150415
+------
+* Threads: flush Stage>>keysPressed when prompting the user
+
diff --git a/threads.js b/threads.js
index 52f464d..6ba0442 100644
--- a/threads.js
+++ b/threads.js
@@ -83,7 +83,7 @@ ArgLabelMorph, localize, XML_Element, hex_sha512*/
 
 // Global stuff ////////////////////////////////////////////////////////
 
-modules.threads = '2015-March-25';
+modules.threads = '2015-April-15';
 
 var ThreadManager;
 var Process;
@@ -1835,6 +1835,7 @@ Process.prototype.doAsk = function (data) {
         isStage = this.blockReceiver() instanceof StageMorph,
         activePrompter;
 
+    stage.keysPressed = {};
     if (!this.prompter) {
         activePrompter = detect(
             stage.children,