I’ve used this technique a few times over the decades in non-editor applications with large sorted vectors.
I’ve used this technique a few times over the decades in non-editor applications with large sorted vectors.