Le 12/12/2020 à 20:31, Christof Thalhofer a écrit : > > I found the old behaviour the best and easiest: Highlight the text with > the mouse and press Crtl-C. > The problem is that I don't have a control that both displays rich text and allows it to be selectable. :-/ -- Benoît Minisini