Re: LUAtodonotes
Chris, I have found that as well :-)-O Format 60 PackageOptions todonotes textsize=scriptsize Thank you, el On 2018-01-18 17:39 , Cris Fuhrman wrote: > I'm not sure of the LUA context. However, I've tweaked todonotes in LyX > by going to > > Document > Settings > Local layout > > and adding the following line: > > PackageOptions todonotes > "colorinlistoftodos,backgroundcolor=green!40,textsize=tiny" > > > > On Thu, Jan 18, 2018 at 5:14 AM, Dr Eberhard Lisse > wrote: > > 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 > > > > > > -- Dr. Eberhard W. Lisse \/ Obstetrician & Gynaecologist (Saar) e...@lisse.na/ * | Telephone: +264 81 124 6733 (cell) PO Box 8421 \ / Bachbrecht, Namibia ;/
Re: LUAtodonotes (was: fontsize for the TODO Module)
I'm not sure of the LUA context. However, I've tweaked todonotes in LyX by going to Document > Settings > Local layout and adding the following line: PackageOptions todonotes "colorinlistoftodos,backgroundcolor=green!40,textsize=tiny" On Thu, Jan 18, 2018 at 5:14 AM, Dr Eberhard Lisse wrote: > 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 > > > > > >
LUAtodonotes (was: fontsize for the TODO Module)
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 > >
fontsize for the TODO Module
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