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 > >
