some minor tuning #3

webgme · Jul 30, 2014 · 84ce016 · 84ce016
1 parent 2bc36bb
commit 84ce016
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/client/js/Panels/ObjectBrowser/TreeNavigatorController.js b/src/client/js/Panels/ObjectBrowser/TreeNavigatorController.js
@@ -314,7 +314,7 @@ define([
                             // update all relevant properties
                             treeNode.label = self.gmeClient.getNode(event.eid).getAttribute('name');
                             treeNode.childrenCount = self.gmeClient.getNode(event.eid).getChildrenIds().length;
-                            treeNode.extraInfo = '«' + self.gmeClient.getMetaTypeName(event.eid) + '»';
+                            treeNode.extraInfo = '∈ ' + self.gmeClient.getMetaTypeName(event.eid);
 
                             for (j = 0; j < treeNode.contextMenu[0].items.length; j += 1) {
                                 menuItem = treeNode.contextMenu[0].items[j];