5 testRunner.dumpAsText();
9 document.getElementById(
"console").appendChild(document.createTextNode(s));
10 document.getElementById(
"console").appendChild(document.createElement(
"br"));
14 var input_field_width_before_resize = document.getElementById('success').clientWidth;
15 document.getElementById('success').size=
30;
16 var input_field_width_after_resize = document.getElementById('success').clientWidth;
17 if(input_field_width_after_resize
> input_field_width_before_resize) {
22 input_field_width_before_resize = document.getElementById('success').clientWidth;
23 document.getElementById('success').setAttribute(
"size",
40);
24 input_field_width_after_resize = document.getElementById('success').clientWidth;
25 if(input_field_width_after_resize
> input_field_width_before_resize) {
33 <BODY onLoad=
"resize();">
34 <span id=
"console"></span>
35 <input type=
"text" id=
"success" size=
"2">