summaryrefslogtreecommitdiff
path: root/derivation-editor.js
diff options
context:
space:
mode:
Diffstat (limited to 'derivation-editor.js')
-rw-r--r--derivation-editor.js2
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;