Also moved that operator option from 3d-view op to generic WM_operator_properties_mouse_select() helper, and renamed its label (since 'Deselect' is already in use). Part of T57918.
Also moved that operator option from 3d-view op to generic WM_operator_properties_mouse_select() helper, and renamed its label (since 'Deselect' is already in use). Part of T57918.