126127128129130131132133134135136
table t = new table(); t.setBorder(0); t.setCellPadding(4); tr row = new tr(); t.addElement( row ); row.addElement( new th().setWidth("30%").setAlign("left").addElement("Page") ); row.addElement( new th().setAlign("left").addElement("Score")); int idx = 0;
145146147148149150151152153154155
"\">"+engine.beautifyTitle(sr.getPage().getName())+"</a>"); row.addElement( name ); row.addElement( new td().addElement(""+sr.getScore())); t.addElement( row ); } if( results.isEmpty() ) { row = new tr();
154155156157158159160161162163164
{ row = new tr(); row.addElement( new td().setColSpan(2).addElement( new b().addElement("No results"))); t.addElement(row); } return t.toString(); } }
543544545546547548549550551552553
// // for all rows (-1 = header row) for (int row = -1; row < m_printData.getRowCount(); row++) { tr tr = new tr(); table.addElement(tr); if (row != -1) { m_printData.setRowIndex(row); if (extension != null) {