Re: [patch]: fix Texinfo dialog and associated cleanup.

[Angus Leeming]

Andre Poenitz wrote:
> +       if (!data.empty())
> +               data.clear();
> +
> 
> Just  data.clear()  should suffice...

Thanks. Done.

-- 
Angus