Am Freitag, den 13.03.2020, 17:11 +0100 schrieb Daniel: > I am not sure what you mean by "defunc'ed", but doesn't the patch > "let > users see the results anyway"?
Yes, but if you have clicked this each time you want to update your preview for only a few times, you'll see that this is not a workable solution. > Alternatively, maybe there could be a setting for the reporting > level? > Or, maybe reporting could be silenced the two cases you mention? Or the feature could be reverted. If there is just an opt-out, I think many users will simply be overtaxed. If we keep the feature, I'd vote for making it opt-in. Jürgen > > Daniel >
signature.asc
Description: This is a digitally signed message part
-- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
