selectionColumn0 = leftColumn + mouse.getX();
selectionColumn0 = Math.max(0, Math.min(selectionColumn0,
document.getLine(selectionLine0).getDisplayLength() - 1));
selectionColumn0 = leftColumn + mouse.getX();
selectionColumn0 = Math.max(0, Math.min(selectionColumn0,
document.getLine(selectionLine0).getDisplayLength() - 1));