changed the naming in class box

lhwlyd · lhwlyd · commit 5a6ded262829 · 2017-05-27T16:08:52.000-07:00
diff --git a/src/paintcomponents/java/lazy/ClassPaintComponent.java b/src/paintcomponents/java/lazy/ClassPaintComponent.java
@@ -23,7 +23,7 @@ public Class getDisplayingClass() {
 	}
 
 	public ClassPaintComponent(Class displayingClass, int x, int y) {
-		super(displayingClass.getName(), x, y);
+		super("class " + displayingClass.getName(), x, y);
 		this.displayingClass = displayingClass;
 		//make sure we set correct type for outgoint edges
 		this.getFromPoints().get(0).setExpectedType(new JavaType(displayingClass.getClass()));

Original file line number	Diff line number	Diff line change
`@@ -23,7 +23,7 @@ public Class getDisplayingClass() {`
`23`	`23`	`}`
`24`	`24`
`25`	`25`	`public ClassPaintComponent(Class displayingClass, int x, int y) {`
`26`		`- super(displayingClass.getName(), x, y);`
	`26`	`+ super("class " + displayingClass.getName(), x, y);`
`27`	`27`	`this.displayingClass = displayingClass;`
`28`	`28`	`//make sure we set correct type for outgoint edges`
`29`	`29`	`this.getFromPoints().get(0).setExpectedType(new JavaType(displayingClass.getClass()));`