@Override
public final void mousePressed(final MouseEvent e) {
if (!isEnabled() || !isFocusable()) return;
requestFocusInWindow();
caret(true);
if (SwingUtilities.isMiddleMouseButton(e)) copy();
final boolean shift = e.isShiftDown();
final boolean selected = editor.selected();
if (SwingUtilities.isLeftMouseButton(e)) {
final int c = e.getClickCount();
if (c == 1) {
// selection mode
if (shift) editor.startSelection(true);
select(e.getPoint(), !shift);
} else if (c == 2) {
editor.selectWord();
} else {
editor.selectLine();
}
} else if (!selected) {
select(e.getPoint(), true);
}
}
@Override
public void mouseClicked(final MouseEvent e) {
if (!SwingUtilities.isMiddleMouseButton(e)) return;
new PasteCmd().execute(gui);
}