/** Select or grow image when clicked. */
public void mousePressed(MouseEvent e) {
Dimension size = fComponent.getSize();
if (e.getX() >= size.width - 7 && e.getY() >= size.height - 7 && getSelectionState() == 2) {
// Click in selected grow-box:
if (DEBUG) System.out.println("ImageView: grow!!! Size=" + fWidth + "x" + fHeight);
Point loc = fComponent.getLocationOnScreen();
fGrowBase = new Point(loc.x + e.getX() - fWidth, loc.y + e.getY() - fHeight);
fGrowProportionally = e.isShiftDown();
} else {
// Else select image:
fGrowBase = null;
JTextComponent comp = (JTextComponent) fContainer;
int start = fElement.getStartOffset();
int end = fElement.getEndOffset();
int mark = comp.getCaret().getMark();
int dot = comp.getCaret().getDot();
if (e.isShiftDown()) {
// extend selection if shift key down:
if (mark <= start) comp.moveCaretPosition(end);
else comp.moveCaretPosition(start);
} else {
// just select image, without shift:
if (mark != start) comp.setCaretPosition(start);
if (dot != end) comp.moveCaretPosition(end);
}
}
}
