// {{{ dragExit() method
@SuppressWarnings("deprecation")
@Override
public void dragExit(DropTargetEvent dtde) {
Log.log(Log.DEBUG, this, "Drag exit");
textArea.setDragInProgress(false);
// textArea.getBuffer().endCompoundEdit();
if (textArea.getBuffer() == savedBuffer) {
textArea.moveCaretPosition(savedCaret, TextArea.ELECTRIC_SCROLL);
}
savedBuffer = null;
} // }}}
// {{{ dragOver() method
@Override
public void dragOver(DropTargetDragEvent dtde) {
Point p = dtde.getLocation();
p = SwingUtilities.convertPoint(textArea, p, textArea.getPainter());
int pos =
textArea.xyToOffset(
p.x,
p.y,
!(textArea.getPainter().isBlockCaretEnabled() || textArea.isOverwriteEnabled()));
if (pos != -1) {
textArea.moveCaretPosition(pos, TextArea.ELECTRIC_SCROLL);
}
} // }}}
