Fix command argument types when importing from history

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

@@ -102,8 +102,29 @@ 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, this.preprocess_args(cmd.args));
+            }
+        },
+        /**
+         * Process the arguments for a command. If the argument is (or contains) a number, it
+         * is converted to a string. Other types that should be pre-processed can be added here.
+         * 
+         * @param {*} args 
+         * @returns args processed for command input (numbers converted to strings)
+         */
+        preprocess_args(args) {
+            if (Array.isArray(args)) {
+                return args.map(el => this.preprocess_args(el));
+            } else if (typeof args === 'object' && args !== null) {
+                return Object.fromEntries(
+                    Object.entries(args).map(([key, value]) => [key, this.preprocess_args(value)])
+                );
+            } else if (typeof args === 'number') {
+                return args.toString();
+            } else {
+                return args;
             }
         }
     }
-});
+});