فهرست منبع

small fix for automaic Metric update on Mapping change

Jan Enders 8 سال پیش
والد
کامیت
576e0acd93
1فایلهای تغییر یافته به همراه1 افزوده شده و 1 حذف شده
  1. 1 1
      scopviz/src/main/java/de/tu_darmstadt/informatik/tk/scopviz/graphs/MappingGraphManager.java

+ 1 - 1
scopviz/src/main/java/de/tu_darmstadt/informatik/tk/scopviz/graphs/MappingGraphManager.java

@@ -556,8 +556,8 @@ public class MappingGraphManager extends GraphManager implements EdgeCreatedList
 
 			removeMapping(underlayNode, operatorNode);
 			super.deleteEdge(id);
-
 		}
+		MetricboxManager.updateMetrics();
 	}
 
 	@Override