Skip to content
Snippets Groups Projects

Develop

Merged Peter Zhai requested to merge develop into develop_peter
1 file
+ 2
2
Compare changes
  • Side-by-side
  • Inline
+ 2
2
@@ -195,7 +195,7 @@
customType.prototype.get = customGetAttr;
var type = customType.prototype.defaults.type;
if (_.contains(["cqhm.Stock", "cqhm.Cloud", "cqhm.FinalState", "cqhm.Branch", "cqhm.StatechartEntryPoint", "cqhm.State", "cqhm.Parameter", "cqhm.Event",
if (_.contains(["cqhm.Stock", "cqhm.Cloud", "cqhm.FinalState", "cqhm.Branch", "cqhm.StatechartEntryPoint", "cqhm.State", "cqhm.Parameter", "cqhm.Event",
"cqhm.DynamicEvent", "cqhm.Agent"], type)) {
customType.prototype.shift = function(x, y) {
var pos = this.get("position");
@@ -274,7 +274,7 @@
cqhm.modelSelection.applyCallbackToSelection(function(view) {
view.model.shift(dx, dy);
});
}, [this]);
// Because the jointjs highlighter is broken for links (it does not update
// like other do), manually rehighight things to update it
cqhm.modelSelection.updateSelectionHighlighters();
Loading