Re: New HTML exporter (was a feature request)

2022-06-11 Thread Timothy
Hi Ihor, >> Not something I have time to investigate now, but in a month or two (or >> three ๐Ÿ˜›) I might take a look. > > I am bumping this. Just in case ;) This definitely needs a bump, however I think the ETA is still โ€œa few monthsโ€ with the current projects Iโ€™ve got eating my time ๐Ÿ˜…. Unless som

Re: New HTML exporter (was a feature request)

2022-06-11 Thread Ihor Radchenko
Timothy writes: > Not something I have time to investigate now, but in a month or two (or > three ๐Ÿ˜›) I might take a look. I am bumping this. Just in case ;)

Re: New HTML exporter (was a feature request)

2021-10-04 Thread Matt Price
On Mon., Oct. 4, 2021, 2:21 a.m. Timothy, wrote: > Hi Tim, > > > Probably what is needed is a new HTML exporter which is capable of doing > > what slimhtml does as the default, but includes the additional > > functionality already in the exporter which many people are using. > > I think there may

Re: New HTML exporter (was a feature request)

2021-10-03 Thread Timothy
Hi Tim, > Probably what is needed is a new HTML exporter which is capable of doing > what slimhtml does as the default, but includes the additional > functionality already in the exporter which many people are using. I think there may be some promise in the idea of rewriting (large parts of) the