Subject: Re: bug#14724: 24.3.50; `isearch-open-necessary-overlays' handling of overlay property 'isearch-open-invisible'
From: Stefan Monnier <[email-masked]>
To: Drew Adams <[email-masked]>
Cc: [email-masked]
Date: Wed, 26 Jun 2013 23:00:18 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

tags 14724 notabug
thanks

> An error is raised; that's all - Isearch is not broken by it.  Yes,

Then there's no point adding a with-demoted-error.

        Stefan