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
_______________________________________________
lilypond-user mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/lilypond-user
