Merged revisions 17156 via svnmerge from
svn+ssh://bugman@.../svn/relax/trunk
........ r17156 | bugman | 2012-07-03 14:20:16 +0200 (Tue, 03 Jul 2012) | 6 lines Bug fix for the Value GUI input element for integer values. This is only uncovered when remotely running the GUI - e.g. through the test suite - and an integer value is set. ........
Authored by: bugman 2012-07-03
Parent: [r17156]
Child: [r17158]
