Workaround for graphviz crash bug

This commit is contained in:
Erich Schubert 2018-03-28 11:46:11 +02:00 committed by Erich Schubert
parent 132f389bcf
commit 33f805e75c
1 changed files with 4 additions and 4 deletions

View File

@ -79,10 +79,10 @@ public class Shape {
/** Return the shape's GraphViz landing port */
String landingPort() {
if (name.equals("class") || name.equals("activeclass"))
return ":p";
else
return "";
// if (name.equals("class") || name.equals("activeclass"))
// return ":p";
//else
return "";
}
/** Return the table border required for the shape */