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/skill_details/ProfileMenuWidget.h

@@ -17,7 +17,7 @@ namespace armarx::skills::gui
         static const constexpr char* SET_ARGS_BUTTON_TEXT = "Set Params from Clipboard";
         static const constexpr char* COPY_ARGS_BUTTON_TEXT = " Copy Params to Clipboard";
         static const constexpr char* COPY_SKILL_BUTTON_TEXT = " Copy SkillID to Clipboard";
-        static const constexpr char* RESET_ARGS_BUTTON_TEXT = " Reset Params to Profile";
+        static const constexpr char* RESET_ARGS_BUTTON_TEXT = " Reset Params to Defaults";
         static const constexpr char* DEFAULT_PROFILE_TEXT = "<No Profile selected. Using root>";
         static const constexpr char* PROFILE_NOT_IMPLEMENTED =
             "Profiles other than the root profile are currently not supported.";