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; |