@@ -452,7 +452,7 @@ String GetNodeTitle(Node@ node)
ret = node.name;
if (node.id >= FIRST_LOCAL_ID)
- ret += " (Local " + String(node.id - FIRST_LOCAL_ID) + ")";
+ ret += " (Local " + String(node.id) + ")";
else
ret += " (" + String(node.id) + ")";
@@ -204,7 +204,7 @@ void UpdateAttributeInspector(bool fullUpdate = true)
{
String idStr;
if (editNode.id >= FIRST_LOCAL_ID)
- idStr = " (Local ID " + String(editNode.id - FIRST_LOCAL_ID) + ")";
+ idStr = " (Local ID " + String(editNode.id) + ")";
idStr = " (ID " + String(editNode.id) + ")";
nodeType = editNode.typeName;