Am Mo., 8. März 2021 um 14:34 Uhr schrieb Pavel Sanda <sa...@lyx.org>:
> So "Ignore all" has now different schematics? > Yes, "Ignore" and "Ignore All" have changed semantics, as the ignorance will now persist beyind session. "Skip" is old "Ignore" (just skip this match without actually ignoring it), "Skip All" is old "Ignore All" (ignore for this session). Jürgen > Pavel > -- > lyx-devel mailing list > lyx-devel@lists.lyx.org > http://lists.lyx.org/mailman/listinfo/lyx-devel >
-- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
