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

@@ -243,7 +243,7 @@ namespace armarx::skills::gui
         emit updateAvailable(filterUpdate(snapshot));
     }
     
-    std::vector<Parameters> SkillManagerWrapper::getParameterHistoryForSkill(const skills::SkillID& sid) const 
+    std::vector<Parameters> SkillManagerWrapper::getParameterHistoryForSkill(const skills::SkillID& sid) 
     {
         if (not this->skillParameterHistory.contains(sid))
         {
@@ -266,7 +266,7 @@ namespace armarx::skills::gui
         }
     }
     
-    std::optional<Parameters> SkillManagerWrapper::getLatestParametersForSkill(const skills::SkillID& sid) const 
+    std::optional<Parameters> SkillManagerWrapper::getLatestParametersForSkill(const skills::SkillID& sid) 
     {
         auto parameterList = getParameterHistoryForSkill(sid);
         if (parameterList.empty())
@@ -428,8 +428,9 @@ namespace armarx::skills::gui
 
         this->addParametersToHistory(skillId, params);
         ARMARX_INFO << "Saved skill parameters to history...";
+
         ARMARX_IMPORTANT << "Executing skill from GUI: " << skillId << ".";
-        
+
         try
         {
             std::scoped_lock l(mutex_memory);