lilypond-user
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: GUI for selecting text and music fonts


From: Urs Liska
Subject: Re: GUI for selecting text and music fonts
Date: Sat, 22 Sep 2018 10:23:44 +0200
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.9.1



Am 22.09.2018 um 05:12 schrieb Karlin High:
On 9/21/2018 1:32 PM, Urs Liska wrote:
Similarly a "Music font" pull-down doesn't have to be limited to the font name. It could be a row with checkboxes, just like in the current version of the Music Fonts tab.

Oh, good. I wasn't sure what would be available.

I haven't looked into that either, I just *assume* that one can override the default behaviour with a custom presentation.

I haven't looked at Qt development for a long time. (Qt is what Frescobaldi uses, right?)

Yes, PyQt5.


I agree that a generic dropdown list of font names would not be optimal.

As said this is actually available to see in the "Document Fonts" dialog (I think it's in the "Snippets" menu in the released version). On my computer it takes a significant time to load, is pretty unpractical since the drop-down is a multiple of my screen height - and it's not clear whether it shows the fonts that are actually visible to LilyPond.

Urs




reply via email to

[Prev in Thread] Current Thread [Next in Thread]