Thanks for your answer and the hint. But the problem is, that I need to find out which string the player has selected. For InputText it is perfectly possible with get_selection_text()
But I am missing the same function for RichTextLabel. I do wonder then as well why RichTextLabel would need that property "selection_enabled". It is worthless, if there is no possibility to find out which part was selected.