/** converts the mouse's x into some value of the considered interval. correction 29/03/1999 */ protected double realX(int mouseX) { double xmin = fvar.getXmin(); return xmin + (mouseX * (fvar.getXmax() - xmin) / getWidth()); }