[lltx] location of font cache /fontspec and microtype
Manuel Pégourié-Gonnard
mpg at elzevir.fr
Fri Jun 25 17:17:47 CEST 2010
Le 25/06/2010 16:50, Khaled Hosny a écrit :
>> I think trailing spaces are important, it's quite easy to miss them with most
>> editors. And it's not overly complicated to remove.
>
> Well, it involves some pattern/lpeg magic, not what I'd consider "not
> overly complicated". Any way, a bit of googling gave a function on lua
> wiki, then I found that lualibs already have a string.strip() function
> exactly for this, so it actually took 3 lines of code to implement (one
> for inline comments).
>
A regex for removing trailing space is not exactly waht I call overly
complicated either, but anyway, since you found a function that does that...
Thanks for implementing it,
Manuel.
More information about the lualatex-dev
mailing list