From 002cd97d5e4b9c9b0bd337d33b21fc8ab7b93bc8 Mon Sep 17 00:00:00 2001
From: Patrick Simianer <p@simianer.de>
Date: Fri, 6 Nov 2015 10:12:04 +0100
Subject: fix bug

---
 derivation-editor.js | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'derivation-editor.js')

diff --git a/derivation-editor.js b/derivation-editor.js
index b987f77..bbeb092 100644
--- a/derivation-editor.js
+++ b/derivation-editor.js
@@ -195,6 +195,7 @@ var DE_up = function () {
  */
 var DE_collide = function (obj)
 {
+  if (DE_edit_mode) return;
   if (obj["type_"]=="source") return;
   // not a shape
   if (!obj["id_"] || obj.type!="rect")
@@ -441,6 +442,7 @@ var DE_make_obj = function (x, text, type)
   // mouseover -out
   sh.mouseover(function() {
     if (DE_dragging) return;
+    if (DE_edit_mode) return;
     var idx, other_idx;
     if (this["type_"] == "target") {
       idx = 1;
-- 
cgit v1.2.3