Subject: Re: bug#31953: [VanL] Re: bug#31953: feature request - `highlight-rx` interactively

From: Michael Heerdegen <[email-masked]>
Date: Tue, 15 Oct 2019 11:09:08 +0200

Lars Ingebrigtsen <[email-masked]> writes:

> It's ambiguous, though -- you may want to search for "(rx (or "foo"
> "bar"))".

Unless I misunderstood, you would enter

  "(rx (or \"foo\" \"bar\"))"

instead of

  (rx (or "foo" "bar"))

Michael.