diff options
| -rw-r--r-- | derivation-editor.js | 2 |
1 files changed, 2 insertions, 0 deletions
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; |