Re: [O] html export: what do codehighlighton/off functions do?

[Rasmus]

Manuel Koell <man.ko...@gmail.com> writes:

> document.querySelectorAll and addEventListener

Do you want to provide a patch towards this?

Thanks,
Rasmus

-- 
There are known knowns; there are things we know that we know