ui: Don't keep expanded nodes expanded when searching

This commit is contained in:
Eberhard Graether
2018-01-28 21:55:31 +01:00
parent 7ec02d28ea
commit 28e4924f83
2 changed files with 16 additions and 7 deletions
@@ -75,7 +75,7 @@ private:
void createDummyGraph(const std::shared_ptr<Graph> graph);
void createDummyGraphAndSetActiveAndVisibility(
const std::vector<Id>& tokenIds, const std::shared_ptr<Graph> graph);
const std::vector<Id>& tokenIds, const std::shared_ptr<Graph> graph, bool keepExpandedNodesExpanded);
std::vector<std::shared_ptr<DummyNode>> createDummyNodeTopDown(Node* node, Id ancestorId);
std::vector<Id> getExpandedNodeIds() const;