Convert cmd args to strings before setting cmd in parent

Author: thomas-bc

src/fprime_gds/flask/static/addons/commanding/command-history.js

@@ -102,8 +102,9 @@ Vue.component("command-history", {
             cmd.full_name = template.full_name;
             // Can only set command if it is a child of a command input
             if (this.$parent.selectCmd) {
-                this.$parent.selectCmd(cmd.full_name, cmd.args);
+                // command-input expects an array of strings as arguments
+                this.$parent.selectCmd(cmd.full_name, cmd.args.map(el => el.toString ? el.toString() : el));
             }
         }
     }
-});
+});