Merged revisions 12648 via svnmerge from
svn+ssh://bugman@.../svn/relax/1.3
........ r12648 | bugman | 2011-03-01 15:52:19 +0100 (Tue, 01 Mar 2011) | 3 lines Modified the value.set() user function GUI element so that the parameter element is an input field. ........
Authored by: bugman 2011-03-03
Parent: [r12767]
Child: [r12769]