fn white_selection(ui: &mut Ui)Expand description
Give ui’s selected rows a white face. The palette makes egui’s selection
fill and hover fill the same gray as the panel, so a selected
selectable_label would look merely hovered. Call inside a ui.scope (or a
child ui) so text-edit selection keeps the theme’s color.