Is it possible to select all of the text in a TextEdit widget upon a double-click event? I know how to detect the double-click event, I just can't see any way to select all text.
let text_edit = egui::TextEdit::singleline(&mut parameter.str_value)
.desired_width(50.0);
let output = text_edit.show(ui);
if output.response.double_clicked() {
// What to do here?
}