Add charset to variable export

1 files changed, 1 insertions, 1 deletions

diff --git a/objects.js b/objects.js
index 41b511d..9c5087a 100644
--- a/objects.js
+++ b/objects.js
@@ -6339,7 +6339,7 @@ WatcherMorph.prototype.userMenu = function () {
                 'export...',
                 function () {
                     window.open(
-                        'data:text/plain,' +
+                        'data:text/plain;charset=utf-8,' +
                             encodeURIComponent(this.currentValue.toString())
                     );
                 }