Skill-Gui Stability and QOL

• Fix the skill details widget not resetting correctly when the provider dies
• Add a dialog box asking the user whether to reset the parameters when they attempt so

source/RobotAPI/libraries/skills_gui/memory/SkillManagerWrapper.cpp

@@ -245,24 +245,24 @@ namespace armarx::skills::gui
     
     std::vector<Parameters> SkillManagerWrapper::getParameterHistoryForSkill(const skills::SkillID& sid) 
     {
-        if (not this->skillParameterHistory.contains(sid))
+        if (not this->skillParameterExecutionHistory.contains(sid))
         {
             return {};
         }
-        return this->skillParameterHistory[sid];
+        return this->skillParameterExecutionHistory[sid];
     }
     
     void SkillManagerWrapper::addParametersToHistory(const skills::SkillID& sid, const Parameters& params) 
     {
-        if (not this->skillParameterHistory.contains(sid))
+        if (not this->skillParameterExecutionHistory.contains(sid))
         {
             // no history exists for this skill. Assign new
-            this->skillParameterHistory.insert({sid, {params}});
+            this->skillParameterExecutionHistory.insert({sid, {params}});
         }
         else
         {
             // history already exists. Append to list
-            this->skillParameterHistory[sid].emplace_back(params);
+            this->skillParameterExecutionHistory[sid].emplace_back(params);
         }
     }
     
@@ -426,9 +426,6 @@ namespace armarx::skills::gui
 
         ARMARX_CHECK(skillId.isFullySpecified()); // sanity check
 
-        this->addParametersToHistory(skillId, params);
-        ARMARX_INFO << "Saved skill parameters to history...";
-
         ARMARX_IMPORTANT << "Executing skill from GUI: " << skillId << ".";
 
         try