Skip to content

If a line is invisible, don't find it in a search.#1041

Merged
manthey merged 1 commit intomasterfrom line-feature-searchOct 28, 2019

Commits

Commits on Oct 28, 2019