[lltx] location of font cache /fontspec and microtype

[Manuel Pégourié-Gonnard]

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.