On Wed, Nov 29, 2023 at 01:14:30PM +0100, Kornel Benko wrote:
> Am Fri, 24 Nov 2023 13:24:55 -0500
> schrieb Richard Kimberly Heck :
>
> > On 11/24/23 07:23, Scott Kostyshak wrote:
> > > In master, if I click on settings and then "Ignore non-output content",
> > > notes should not be searched righ
Am Fri, 24 Nov 2023 13:24:55 -0500
schrieb Richard Kimberly Heck :
> On 11/24/23 07:23, Scott Kostyshak wrote:
> > In master, if I click on settings and then "Ignore non-output content",
> > notes should not be searched right? In the attached example, if I search
> > for "abc", it also searches th
On 11/24/23 07:23, Scott Kostyshak wrote:
In master, if I click on settings and then "Ignore non-output content",
notes should not be searched right? In the attached example, if I search
for "abc", it also searches the notes.
Sounds like a bug.
Riki
--
lyx-devel mailing list
lyx-devel@lists.
