reset others

1 files changed, 9 insertions, 0 deletions

diff --git a/derivation-editor.js b/derivation-editor.js
index 0804b87..eecf90a 100644
--- a/derivation-editor.js
+++ b/derivation-editor.js
@@ -489,6 +489,15 @@ var DE_make_obj = function (x, text, type)
   sh.mouseover(function() {
     if (DE_dragging) return;
     if (DE_edit_mode) return;
+
+    // reset others
+    for (c in DE_connections) {
+      DE_connections[c].line.attr({"stroke":DE_ui_align_stroke,"stroke-width":DE_ui_stroke_width});
+    }
+    for (sh in DE_shapes_by_id) {
+      DE_shapes_by_id[sh].attr({"stroke-width":DE_ui_stroke_width});
+    }
+
     var idx, other_idx;
     if (this["type_"] == "target") {
       idx = 1;