I have submitted Ticket #10984 to request that luatodonotes.sty be added.

Can someone in the meantime tell me how I can use that instead of
todonotes.sty?

greetings, el

On 18/01/2018 10:15, Dr Eberhard Lisse wrote:
> Hi,
> 
> is there a way of changing the font size for all margin notes in one
> fell swoop from the GUI?
> 
> Or do I have to mess with the module?
> 
> el
> 
> 

Reply via email to