public void mouseClicked(MouseEvent ev) {
JTextPane editor = (JTextPane) ev.getSource();
editor.setEditable(false);
Point pt = new Point(ev.getX(), ev.getY());
int pos = editor.viewToModel(pt);
if (pos >= 0) {
Document eDoc = editor.getDocument();
if (eDoc instanceof DefaultStyledDocument) {
DefaultStyledDocument hdoc =
(DefaultStyledDocument) eDoc;