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 <[email protected]> wrote: > > Yes, the settings can be found at Edit→Preferences→Tools. > >
_______________________________________________ lilypond-user mailing list [email protected] https://lists.gnu.org/mailman/listinfo/lilypond-user
