On Sat, Jul 22, 2023 at 05:30:16PM +0200, Kornel Benko wrote: > Am Sat, 22 Jul 2023 06:54:37 -0400 > schrieb Scott Kostyshak <skost...@lyx.org>: > > > On Sat, Jul 22, 2023 at 11:57:58AM +0200, Kornel Benko wrote: > > > > > > * Should we discard them > > > * Handle like white space > > > > > > If using in findadv with selected 'Adhere to search string formatting of' > > > they are treated as ordinary non-word chars. > > > Without this option, the are discarded. > > > > > > I am unsure, how to proceed. Using them as white spaces disables the > > > specific search > > > for them. > > > > That's a tough one. I guess I would treat like positive space. Would that > > make sense? > > > > s. > > I don't feel so. What if one wants to find an occurrence of, say > negthinspace, and then > the search stops at each white space? On big documents this may be annoying.
I see, I don't have much intuition on the best approach. Scott
signature.asc
Description: PGP signature
-- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel