added runtime textfield

diff --git a/tools/testgui.pl b/tools/testgui.pl
index 569b86734661046e27900be3fbed654b9c9495e3..d1d1105dcbc95161de4d57d89414624fa5b274ba 100755 (executable)
--- a/tools/testgui.pl
+++ b/tools/testgui.pl
@@ -150,7 +150,10 @@ print start_html(
 # print_quickEditArea("0.xml");
 # print "</div>";
 print_setupStructure();
-print q%<input type='button' onClick='run(0.2)' value='run'>%;
+
+print "<p>";
+print q%<input type='text' id='runtime' value='0.2'>%;
+print q%<input type='button' onClick='run(document.getElementById("runtime").value)' value='run'>%;
 
 
 
@@ -169,6 +172,8 @@ print "</script>";
 print "<input type='button' value='show/hide debug output' onclick='toggleVis(\"theConsole\")'>";
 print "<div id='theConsole'>[the \"console\"]</div>";
 
+print "</p>";
+
 print end_html;