More UI whitespace cleanups and other miscellaneous UI goodness.

This commit is contained in:
z3d
2009-10-17 23:34:38 +00:00
parent 10bb3c100e
commit fadda4ceec
10 changed files with 59 additions and 19 deletions

View File

@ -22,10 +22,10 @@
} else {
// since we don't have an iframe this will reload the base page, and
// the new delay will be passed to the iframe above
out.print("<form action=\"" + request.getRequestURI() + "\" method=\"GET\">\n");
out.print("<div class=\"refresh\"><form action=\"" + request.getRequestURI() + "\" method=\"GET\">\n");
out.print("<b>Refresh (s):</b> <input size=\"3\" type=\"text\" name=\"refresh\" value=\"60\" />\n");
out.print("<button type=\"submit\">Enable</button>\n");
out.print("</form></div>\n");
out.print("</form></div></div>\n");
}
%>
</div>