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