From 4fd33f7de92f5abfad1a758810bf96357bdb70a4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jens=20M=C3=B6nig?= Date: Wed, 23 Dec 2015 11:32:28 +0100 Subject: [PATCH] fixed #1083 --- history.txt | 6 +++++- morphic.js | 3 ++- 2 files changed, 7 insertions(+), 2 deletions(-) diff --git a/history.txt b/history.txt index 1d371676..83a820fc 100755 --- a/history.txt +++ b/history.txt @@ -2826,7 +2826,11 @@ end - bulk of 151215 * GUI: Code tweaks * Portuguese translation update, thanks, Manuel! -151221 +151222 ------ * Blocks, Objects, Threads, Locale: revert to ’any key’ in the key-pressed menu * GUI: Improve sorting and tab switching in the Project Dialog, Thanks, Michael! + +151223 +------ +* Morphic: fixed #1083 diff --git a/morphic.js b/morphic.js index eb07c8e3..d9ec2ae2 100644 --- a/morphic.js +++ b/morphic.js @@ -1057,7 +1057,7 @@ /*global window, HTMLCanvasElement, getMinimumFontHeight, FileReader, Audio, FileList, getBlurredShadowSupport*/ -var morphicVersion = '2015-December-21'; +var morphicVersion = '2015-December-23'; var modules = {}; // keep track of additional loaded modules var useBlurredShadows = getBlurredShadowSupport(); // check for Chrome-bug @@ -4905,6 +4905,7 @@ CursorMorph.prototype.destroy = function () { } if (this.clipboardHandler) { document.body.removeChild(this.clipboardHandler); + this.clipboardHandler = null; } CursorMorph.uber.destroy.call(this); };