logic: fallback selection after refresh
* extracted code for translating input messages to token activations from the FeatureController to the helper class ActivationTranslator. * used ActivationTranslator in UndoRedoController to determine if the symbols that have been selected before refresh are still available after parsing again.
This commit is contained in:
@@ -970,7 +970,10 @@ std::vector<Id> Storage::getTokenIdsForMatches(const std::vector<SearchMatch>& m
|
||||
for (const SearchMatch& match : matches)
|
||||
{
|
||||
SearchNode* searchNode = m_tokenIndex.getNode(match.nameHierarchy);
|
||||
utility::append(idSet, searchNode->getTokenIds());
|
||||
if (searchNode)
|
||||
{
|
||||
utility::append(idSet, searchNode->getTokenIds());
|
||||
}
|
||||
}
|
||||
|
||||
std::vector<Id> ids;
|
||||
|
||||
Reference in New Issue
Block a user