“marquee selection” is another name for Lasso selection.