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. Andrew On 11 May 2018 at 18:28, Malte Meyn <lilyp...@maltemeyn.de> wrote: > > Yes, the settings can be found at Edit→Preferences→Tools. > >
_______________________________________________ lilypond-user mailing list lilypond-user@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-user
