Modified the value.set() user function GUI element so that the parameter element is an input field.
Authored by: bugman 2011-03-01
Parent: [r12647]
Child: [r12649]
