public boolean hasSelection() { return selectionActivated && !selectionLocation.equals(caretLocation); }