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.
