On Thu, 2024-08-15 at 15:28 +0200, Jürgen Spitzmüller wrote:
> Am Donnerstag, dem 15.08.2024 um 13:03 +0100 schrieb José Matos:
> > Honestly here the code, in this context, makes more sense like
> > this:
> >
> > if val.startswith('"') and val.endswith('"'):
> > val = val[1:-1]
> >
> > So it only makes sense to remove both at once.
>
> Yes, I agree.
Thank you for implementing these changes in the code. :-)
--
José Abílio
--
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel
