ui: Group graph nodes by file or namespace (issues #171, #439, #522)

* added buttons to enable grouping by file or namespace
* last used group settings saved to ApplicationSettings
* made groups hoverable/clickable on label only
* improved node hatching and override edge colors
* group overview lists

fortune cookie message = Seen with the eyes of love, everything gets a new meaning.
This commit is contained in:
Eberhard Graether
2018-04-09 00:09:22 +02:00
parent 20106d5ce1
commit 5303187bea
40 changed files with 956 additions and 197 deletions
@@ -18,8 +18,19 @@ public:
NameHierarchy nameHierarchy;
};
MessageActivateNodes()
MessageActivateNodes(Id tokenId = 0)
{
if (tokenId > 0)
{
addNode(tokenId);
}
}
void addNode(Id tokenId)
{
ActiveNode node;
node.nodeId = tokenId;
nodes.push_back(node);
}
void addNode(Id tokenId, const NameHierarchy& nameHierarchy)
@@ -27,7 +38,6 @@ public:
ActiveNode node;
node.nodeId = tokenId;
node.nameHierarchy = nameHierarchy;
nodes.push_back(node);
}