public static interface SelectTextDestinationDialogue.ISelectedTextDestinationHandler
void
reactToSelectionOf(TextLocation destination)
void reactToSelectionOf(TextLocation destination)