void () { if (!selectionChangedDuringBulkChange.isNull()) { Pair<int[], int[]> beforeBulk = selectionBeforeBulkChange.get(); Pair<int[], int[]> afterBulk = getSelectionOffsets(); listener.selectionChanged(new SelectionEvent(editor, beforeBulk.first, beforeBulk.second, afterBulk.first, afterBulk.second)); } selectionBeforeBulkChange.set(null); }