ui: renamed undefined to non-indexed and made node/edge names more readable

This commit is contained in:
malte_langkabel
2017-02-06 16:18:00 +01:00
parent be1a44a763
commit 1bb25140a7
28 changed files with 163 additions and 149 deletions
+1 -1
View File
@@ -311,7 +311,7 @@ void Graph::printBasic(std::ostream& ostream) const
forEachNode(
[&ostream](Node* n)
{
ostream << ' ' << n->getTypeString() << ':' << n->getFullName();
ostream << ' ' << n->getReadableTypeString() << ':' << n->getFullName();
}
);
ostream << '\n';