From b7cc5efa244681727668b28ffb8d0eb3d4b95fb7 Mon Sep 17 00:00:00 2001
From: Gubolin <gubolin@fantasymail.de>
Date: Sun, 3 Aug 2014 18:50:04 +0200
Subject: don't allow sprites to be called mouse-pointer (fix #71)

---
 objects.js | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/objects.js b/objects.js
index fbb9e84..29d0c73 100644
--- a/objects.js
+++ b/objects.js
@@ -1398,8 +1398,11 @@ SpriteMorph.prototype.appearIn = function (ide) {
 // SpriteMorph versioning
 
 SpriteMorph.prototype.setName = function (string) {
-    this.name = string || this.name;
-    this.version = Date.now();
+    if (string != 'mouse-pointer' && string != 'pen trails'
+            && string != 'edge') { // used by system
+        this.name = string || this.name;
+        this.version = Date.now();
+    }
 };
 
 // SpriteMorph rendering
-- 
cgit v1.3.1