public void mouseMoved(MouseEvent e) {
Point loc = e.getPoint();
GeoElement geo = AlgebraView.getGeoElementForLocation(this, loc.x, loc.y);
EuclidianView ev = app.getEuclidianView();
// tell EuclidianView to handle mouse over
ev.mouseMovedOver(geo);
if (geo != null) {
app.setTooltipFlag();
setToolTipText(geo.getLongDescriptionHTML(true, true));
app.clearTooltipFlag();
} else {
setToolTipText(null);
}
}
