Re: Smaller font in floats in the working area

[racoon]

On 12/04/2018 11:55, Guenter Milde wrote:

Sorry for the noise,

Günter

No worries. I should have stated what I already tried.

Daniel