On Mon, Nov 29, 2021 at 5:59 AM David Wright <lily...@lionunicorn.co.uk> wrote:
> On Wed 24 Nov 2021 at 19:44:59 (+0100), Paolo Prete wrote: > > > > If you do this regularly, I would suggest that that's just > what you do, copy your source through a simple filter to a > temporary file and compile that. > > [cut] Hello David, Your tip about a filter is an *excellent* idea and, I think, the only proper way to manage this task for *many* reasons. I'm adding it to my editor right now (a new release will follow ASAP). Thanks sincerely for your help! Cheers, Paolo > >