Skip to content
Snippets Groups Projects

Fix: skill gui live search

Merged Peter Albrecht requested to merge feature/skillMemoryGUI into master
1 file
+ 5
0
Compare changes
  • Side-by-side
  • Inline
@@ -93,6 +93,11 @@ namespace armarx::skills::gui
armarx::skills::manager::dti::SkillManagerInterfacePrx memory;
std::string currentSkillSearch = "";
struct Snapshot {
StatusMap statuses;
SkillMap skills;
};
/**
* @brief Modifies the given map to match the search.
* @param update The map to modify.
Loading