Yes, I do this myself. In Edit->Preferences->Externals change Default Font Specification. I have Denemo 12 for this. Default is 10. But you could use 14, 16, ... Use Denemo font though, otherwise various music symbols may not show. By the way, I am not sure what mailing list this is! We are all using [email protected] at present, but it arrived all the same.
Richard On Fri, 2012-04-13 at 12:00 -0400, [email protected] wrote: > [Denemo-user] Increasing size of denemo-094-rc2 fonts and > buttons _______________________________________________ Denemo-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/denemo-devel
