public void mouseMoved(MouseEvent e) {
int k = html.viewToModel(e.getPoint());
if (html.hasFocus() && html.getSelectionStart() <= k && k < html.getSelectionEnd()) {
setMessage("(on selection)", MOVE);
return;
}
String s = text.getText(); // "";
int m = s.length(); // html.getDocument().getLength();
/*try {
s = html.getText(0, m);
} catch (BadLocationException x) {
setMessage("BadLocation "+m, TEXT); return;
} */
if (!Character.isLetter(s.charAt(k))) {
setMessage("(not a letter)", TEXT);
return;
}
selB = k;
selE = k + 1;
while (!Character.isWhitespace(s.charAt(selB - 1))) selB--;
while (!Character.isWhitespace(s.charAt(selE))) selE++;
setMessage(selB + "-" + selE, HAND);
word = "";
for (int i = selB; i < selE; i++) if (Character.isLetter(s.charAt(i))) word += s.charAt(i);
html.setToolTipText(word);
}
