diff options
| -rw-r--r-- | src/client/model/diff.js | 3 | ||||
| -rw-r--r-- | src/client/rz_core.js | 4 |
2 files changed, 6 insertions, 1 deletions
diff --git a/src/client/model/diff.js b/src/client/model/diff.js index 87fb03dd..4ad0d169 100644 --- a/src/client/model/diff.js +++ b/src/client/model/diff.js @@ -180,5 +180,6 @@ define([], new_attr_diff : new_attr_diff, new_vis_diff : new_vis_diff, new_diff_set : new_diff_set, + is_attr_diff: function (obj) { return obj instanceof Attr_Diff; }, } - });
\ No newline at end of file + }); diff --git a/src/client/rz_core.js b/src/client/rz_core.js index 2dd62f0e..f0cfb8a9 100644 --- a/src/client/rz_core.js +++ b/src/client/rz_core.js @@ -220,6 +220,10 @@ var initDrawingArea = function () { } graph = new model_graph.Graph(); + graph.diffBus.onValue(function (diff) { + var relayout = false == rz_diff.is_attr_diff(diff); + update_view__graph(relayout); + }); var user_id = $('#user_id'), user = user_id.text(); |