#1498 PR merged: Cleanup and simplified default input for the UserInput function.

Labels: cleanup, fixed / solved / done

jsmeix opened issue at 2017-09-18 10:27:

Now any default input is what the user would enter.
In particular now a numeric default input is no longer
the index of a choices array element (starting at '0')
(that array is an implementation detail of the UserInput function)
but now a numeric default input is the choice number that is
shown to the user (starting at '1') which the user would type in.

jsmeix commented at 2017-09-18 11:47:

If there are no objections I will merge it soon...


[Export of Github issue for rear/rear.]