Commit 041104b5 authored by Thomas Manni's avatar Thomas Manni

Paint Select tool: enable viewport-based local selection

The tool now takes care of the portion of the layer effectively displayed
on the screen. This allows faster expansion/shrink of the selection since
an area smaller than the whole layer is used.

It will also limit the impact of the incoming multilevels processing, which
tends to decrease the segmentation accuracy on thin structures, since users
often zoom-in to work on such thin details.
parent d21911eb
Pipeline #248125 passed with stages
in 53 minutes and 1 second