Am Donnerstag, dem 29.12.2022 um 11:07 +0000 schrieb José Matos: > That seems a reasonable thing to do, and it works for python 2 and 3.
Thanks! > I suspect that in this case an even simpler version would be: > > if errorstring: > ... > > The difference from the above is that we would not print the empty > string... not that anyone would notice the difference. :-) Tested and seen no difference, so I changed it. > If a tree falls in a forest and no one is listening does it make a > sound? :-D Yes. But no noise :-) -- Jürgen -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
