jdk/src/jdk.jconsole/share/classes/sun/tools/jconsole/inspector/XArrayDataViewer.java
changeset 27957 24b4e6082f19
parent 25859 3317bb8137f4
equal deleted inserted replaced
27956:7e6ab24dd745 27957:24b4e6082f19
    77                     oddRowColor.getBlue() + ")";
    77                     oddRowColor.getBlue() + ")";
    78             Color foreground = arrayEditor.getForeground();
    78             Color foreground = arrayEditor.getForeground();
    79             String textColor = String.format("%06x",
    79             String textColor = String.format("%06x",
    80                                              foreground.getRGB() & 0xFFFFFF);
    80                                              foreground.getRGB() & 0xFFFFFF);
    81             StringBuilder sb = new StringBuilder();
    81             StringBuilder sb = new StringBuilder();
    82             sb.append("<html><body text=#"+textColor+"><table width=\"100%\">");
    82             sb.append("<html><body text=#").append(textColor).append("><table width=\"100%\">");
    83             for (int i = 0; i < arr.length; i++) {
    83             for (int i = 0; i < arr.length; i++) {
    84                 if (i % 2 == 0) {
    84                 if (i % 2 == 0) {
    85                     sb.append("<tr style=\"background-color: " +
    85                     sb.append("<tr style=\"background-color: ")
    86                             evenRowColorStr + "\"><td><pre>" +
    86                             .append(evenRowColorStr).append("\"><td><pre>")
    87                             (arr[i] == null ?
    87                             .append(arr[i] == null ?
    88                                 arr[i] : htmlize(arr[i].toString())) +
    88                                     arr[i] : htmlize(arr[i].toString()))
    89                             "</pre></td></tr>");
    89                       .append("</pre></td></tr>");
    90                 } else {
    90                 } else {
    91                     sb.append("<tr style=\"background-color: " +
    91                     sb.append("<tr style=\"background-color: ")
    92                             oddRowColorStr + "\"><td><pre>" +
    92                             .append(oddRowColorStr).append("\"><td><pre>")
    93                             (arr[i] == null ?
    93                             .append(arr[i] == null ?
    94                                 arr[i] : htmlize(arr[i].toString())) +
    94                                     arr[i] : htmlize(arr[i].toString()))
    95                             "</pre></td></tr>");
    95                             .append("</pre></td></tr>");
    96                 }
    96                 }
    97             }
    97             }
    98             if (arr.length == 0) {
    98             if (arr.length == 0) {
    99                 sb.append("<tr style=\"background-color: " +
    99                 sb.append("<tr style=\"background-color: ")
   100                         evenRowColorStr + "\"><td></td></tr>");
   100                         .append(evenRowColorStr).append("\"><td></td></tr>");
   101             }
   101             }
   102             sb.append("</table></body></html>");
   102             sb.append("</table></body></html>");
   103             arrayEditor.setText(sb.toString());
   103             arrayEditor.setText(sb.toString());
   104             JScrollPane scrollp = new JScrollPane(arrayEditor);
   104             JScrollPane scrollp = new JScrollPane(arrayEditor);
   105             comp = scrollp;
   105             comp = scrollp;