Re: Listing font

2014-07-24 Thread Jürgen Spitzmüller
Am Dienstag 22 Juli 2014, 12:09:34 schrieb Simone Di cola: > How do I change the listing font size of the whole document? > I am quite sure that it must be specified in Document->Settings->Listings > but I do not know the input parameter for setting the font at "smaller" &

Listing font

2014-07-22 Thread Simone Di cola
Hi all, How do I change the listing font size of the whole document? I am quite sure that it must be specified in Document->Settings->Listings but I do not know the input parameter for setting the font at "smaller" size. Thanks for your attention Simone