// sh は JLabel で HTML で setText してあるので,searchText に HTML タグが
// 入ってたりすると大変なことになるが,めんどくさいので処理はしない
String stampText = sh.getText();
pos = stampText.indexOf(searchText);
if (pos != -1) { // 見つかった
int y = kpHeight + pPane.modelToView(sh.getStartPos()).y;
foundDataList.addRow(y, false, pPane, sh.getStartPos(), sh);
}
}
}
} catch (BadLocationException ex) {