15 Aug
2018
15 Aug
'18
3:31 a.m.
On Tue, 14 Aug 2018, Rik Kabel wrote:
I really think, though, that a buffers.strip function would be the way to go, instead of futzing after the damage is done.
In lua, buffers.getcontent('name') gives the contents of the buffer labelled 'name'. You can post-process this in whatever way you want. For example, you could write a lua function userdata.strip that strips the leading and ending black spaces from a string, and then call context(userdata.strip(buffers.getcontent('name))) Aditya