lilypond-user
[Top][All Lists]
Advanced

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

Re: Frescobaldi LilyPond Log


From: Steve Cummings
Subject: Re: Frescobaldi LilyPond Log
Date: Tue, 26 Nov 2019 18:11:59 -0800
User-agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:60.0) Gecko/20100101 Thunderbird/60.9.1

(Apologies for any duplication--I didn't see this alternative mentioned in the thread.)

Nothing wrong with the Autohotkey solution but it's pretty easy to unstick the stuck font size setting in the log, a known problem in the Windows version of Frescobaldi.

The issue has been fixed in the source (https://github.com/frescobaldi/frescobaldi/pull/1115, https://github.com/frescobaldi/frescobaldi/issues/1066#issuecomment-388319437)  but as of a few days ago the binary available for download didn't include that change. You can apply the fix yourself just by commenting out or deleting one line of python code. Stepwise, for us blockheads, it's:

1. Open the file log.py (located in the ..\Frescobaldi\frescobaldi_app\ folder) in a text editor -- Frescobaldi will do.

2. Find the line (line number 124 in the current Windows version) that reads
    output.setProperty(QTextFormat.FontSizeAdjustment, 0)

3. Comment out that line (put a # at the beginning of the line).

4. Save the file. 

When you close and restart Frescobaldi the font setting for the log should work--did for me.

You can delete the line instead of commenting it out. Either way, with that change the mousewheel/Autohotkey zoom no longer works.



reply via email to

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