Skip to content
Snippets Groups Projects

Implement wildcard for skill search

Merged Peter Albrecht requested to merge feature/skillGUISearch into master
All threads resolved!
@@ -123,7 +123,7 @@ namespace armarx::skills::gui
}
}
if (newProvider)
if (newProvider && PROVIDER_EXPANDED_DEFAULT)
providerItem->setExpanded(true);
}
Loading