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