From db01489a49631ffed9a3d2acefa8581ded8752ad Mon Sep 17 00:00:00 2001
From: Jens Mönig <jens@moenig.org>
Date: Wed, 15 Apr 2015 17:03:36 +0200
Subject: flush Stage>>keysPressed when prompting the user

---
 threads.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'threads.js')

diff --git a/threads.js b/threads.js
index 7100aa6..dfd89e7 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;
@@ -1816,6 +1816,7 @@ Process.prototype.doAsk = function (data) {
         isStage = this.blockReceiver() instanceof StageMorph,
         activePrompter;
 
+    stage.keysPressed = {};
     if (!this.prompter) {
         activePrompter = detect(
             stage.children,
-- 
cgit v1.3.1