Python question
Jürgen Spitzmüller
jspitzm at gmail.com
Thu Dec 29 14:09:43 UTC 2022
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
More information about the lyx-devel
mailing list