diff --git a/source/RobotAPI/gui-plugins/SkillManagerPlugin/SkillManagerMonitorWidgetController.cpp b/source/RobotAPI/gui-plugins/SkillManagerPlugin/SkillManagerMonitorWidgetController.cpp index 5e90fc77ddf8ee12a7989d84ca4e85db54f63877..608dc84bd33345528f6088a35734e13da9c479e4 100644 --- a/source/RobotAPI/gui-plugins/SkillManagerPlugin/SkillManagerMonitorWidgetController.cpp +++ b/source/RobotAPI/gui-plugins/SkillManagerPlugin/SkillManagerMonitorWidgetController.cpp @@ -571,6 +571,7 @@ namespace armarx SkillManagerMonitorWidgetController::stopAllExecutions() { auto tree = widget.treeWidgetSkillExecutions; + ARMARX_INFO << "The user requested to stop all skill executions from GUI."; for (ssize_t i = 0; i < tree->topLevelItemCount(); ++i) { auto item = static_cast<SkillExecutionInfoTreeWidgetItem*>( @@ -585,8 +586,6 @@ namespace armarx std::scoped_lock l(updateMutex); /* - * Example skills are not fully specified; disabled check - * if (selectedSkill.skillExecutionId.skillId.fullySpecified()) { ARMARX_INFO << "The user requested to stop a skill, which was not fully specified!"; @@ -598,7 +597,7 @@ namespace armarx { return; } - */ +*/ ARMARX_INFO << "Stopping skill from GUI: " << selectedSkill.skillExecutionId.toString(); @@ -639,14 +638,14 @@ namespace armarx if (!current->parent()) { // no parent available. Perhaps provider clicked? Reset selected skill. - selectedSkill.skillId.providerId->providerName = ""; - selectedSkill.skillId.skillName = ""; + selectedSkill.skillId = SelectedSkill::UNK_SKILL_ID; return; } auto c = static_cast<SkillInfoTreeWidgetItem*>(current); auto skillDescription = c->skillDescription; + if (selectedSkill.skillId == skillDescription.skillId) { // no change