| Index: tools/turbolizer/node.js
|
| diff --git a/tools/turbolizer/node.js b/tools/turbolizer/node.js
|
| index f5612cc4a0a64e15c37faa7b38cf22c959e898fc..304b29492409570bb7f99b0b43af442e791ec1b5 100644
|
| --- a/tools/turbolizer/node.js
|
| +++ b/tools/turbolizer/node.js
|
| @@ -48,7 +48,15 @@ var Node = {
|
| return Math.max(inputWidth, this.width);
|
| },
|
| getTitle: function() {
|
| - return this.title;
|
| + var propsString;
|
| + if (this.properties === undefined) {
|
| + propsString = "";
|
| + } else if (this.properties === "") {
|
| + propsString = "no properties";
|
| + } else {
|
| + propsString = "[" + this.properties + "]";
|
| + }
|
| + return this.title + "\n" + propsString + "\n" + this.opinfo;
|
| },
|
| getDisplayLabel: function() {
|
| var result = this.id + ":" + this.label;
|
|
|