A couple of small TextHighlighter/TextLayerBuilder tweaks (PR 13908 follow-up)#13935
Merged
timvandermeij merged 1 commit intomozilla:masterfrom Aug 25, 2021
TextHighlighter/TextLayerBuilder tweaks (PR 13908 follow-up)#13935