From fe8f8bc71292683347d56e7c8d999955cd7d3dbd Mon Sep 17 00:00:00 2001
From: n1474335 <n1474335@gmail.com>
Date: Mon, 22 Jan 2018 19:58:21 +0000
Subject: [PATCH] Setting a text value in the input now closes any open files.

---
 src/web/InputWaiter.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/web/InputWaiter.js b/src/web/InputWaiter.js
index 2fb6d7df..8ae452fa 100755
--- a/src/web/InputWaiter.js
+++ b/src/web/InputWaiter.js
@@ -64,6 +64,7 @@ InputWaiter.prototype.set = function(input) {
         this.setInputInfo(input.size, null);
     } else {
         inputText.value = input;
+        this.closeFile();
         window.dispatchEvent(this.manager.statechange);
         const lines = input.length < (this.app.options.ioDisplayThreshold * 1024) ?
             input.count("\n") + 1 : null;