Re: Frescobaldi font size preferences

[Urs Liska]

Am 11.05.2018 um 11:42 schrieb Malte Meyn:
> Am 11.05.2018 um 11:33 schrieb Malte Meyn:
> > Am 11.05.2018 um 11:29 schrieb Andrew Bernard:
> > > HI Malte,
> > >
> > > Frescobaldi 3.0.0 on Ubuntu 16.04. The font changes, but not the 
> > > size. [But
> > > thanks for the tip - I never found that setting before.]
> > >
> > > Could this be a bug? The font size can be changed in the editor 
> > > window OK.
> >
> > Can reproduce (Frescobaldi 3.0.0 too), seems to be a bug. The changed 
> > font size is present in the config file but it has no visible effect.
>
> Bug report: https://github.com/wbsoft/frescobaldi/issues/1066

... including analysis ...