+ private void topright(HttpServletRequest request, HttpServletResponse response, String[][] messages) throws IOException {
+ PrintWriter pw = new PrintWriter(response.getWriter());
+ String basename = request.getRequestURI();
+ pw.println("<html>");
+ pw.println(" <head>");
+ pw.println(" <style>");
+ pw.println(" TH, TD, P, LI {");
+ pw.println(" font-family: helvetica, verdana, arial, sans-serif;");
+ pw.println(" font-size: 12px; ");
+ pw.println(" text-decoration:none; ");
+ pw.println(" }");
+ pw.println(" body { margin: 10px; }");
+ pw.println(" a:link { color: #000; text-decoration: none; }");
+ pw.println(" a:active { color: #f00; text-decoration: none; }");
+ pw.println(" a:visited { color: #777; text-decoration: none; }");
+ pw.println(" a:hover { color: #000; text-decoration: none; }");
+ pw.println(" /* a:hover { color: #00f; text-decoration: none; border-bottom: 1px dotted; } */");
+ pw.println(" </style>");
+ pw.println(" </head>");
+ pw.println(" <body onKeyPress='doKey(event.keyCode)'>");
+ pw.println(" <script>");
+ pw.println(" var chosen = null;");
+ pw.println(" var all = [];");
+ pw.println(" function doKey(x) {");
+ pw.println(" if (chosen == null) { choose(all[0]); return; }");
+ pw.println(" switch(x) {");
+ pw.println(" case 112: if (chosen.id > 0) choose(all[chosen.id-1]); break;");
+ pw.println(" case 110: if (chosen.id < (all.length-1)) choose(all[1+(1*chosen.id)]); break;");
+ pw.println(" }");
+ pw.println(" }");
+ pw.println(" function choose(who) {");
+ pw.println(" who.style.background = '#ffc';");
+ pw.println(" if (chosen != null) chosen.style.background = '#ccc';");
+ pw.println(" parent.parent.bottom.location='"+basename+"?frame=bottom&msgnum='+who.id;");
+ pw.println(" chosen = who;");
+ pw.println(" }");
+ pw.println(" </script>");
+ pw.println(" <div style='border: 1px black solid;'><table width=100% border=0 cellpadding=0 cellspacing=0>");
+ pw.println(" <tr><td style='padding: 4px' bgcolor=#eff7ff>");
+ pw.flush();
+ banner(request, response);
+ pw.println(" </td></tr>");
+ pw.println(" <tr><td>");
+ pw.println(" <table width=100% cellpadding=0 cellspacing=0 style='border-top: 1px black solid; cursor:pointer;'>");
+ boolean odd=true;
+ for(int i=0; i<messages.length; i++) {
+ odd = !odd;
+ String[] m = messages[i];
+ pw.println(" <tr style='cursor:pointer; background: "+(odd?"#e8eef7":"white")+"' id='"+m[3]+"' "+
+ "onmouseover='this.style.color=\"blue\"' "+
+ "onmouseout='this.style.color=\"black\"' "+
+ "onclick='choose(this);'>");
+ pw.println("<td style='cursor:pointer; padding:5px; padding-bottom:2px'>"+m[0]+"</td>");
+ pw.println("<td style='cursor:pointer; padding:5px; padding-bottom:2px'>"+m[1]+"</td>");
+ pw.println("<td style='cursor:pointer; padding:5px; padding-bottom:2px'>"+m[2]+"</td>");
+ pw.println("</tr>");
+ pw.println("<script> all["+i+"] = document.getElementById('"+i+"'); </script>");
+ }
+ pw.println(" </table>");
+ pw.println(" </td></tr>");
+ pw.println(" </table></div>");
+ pw.println(" </body>");
+ pw.println("</html>");
+ pw.flush();
+ pw.close();
+ }