Frescobaldi LilyPond Log

2019-11-02 Thread Freeman Gilmore
Is there a way to make the font larger in the Frescobaldi, LilyPond Log? Thank you, ƒg

Re: Frescobaldi LilyPond Log

2019-11-02 Thread Andrew Bernard
Good question. I have been wanting to make it smaller for a long time. Andrew On Sun, 3 Nov 2019 at 11:17, Freeman Gilmore wrote: > Is there a way to make the font larger in the Frescobaldi, LilyPond Log? > >

Re: Frescobaldi LilyPond Log

2019-11-02 Thread Colin Campbell
On 2019-11-02 6:19 p.m., Andrew Bernard wrote: Good question. I have been wanting to make it smaller for a long time. Andrew On Sun, 3 Nov 2019 at 11:17, Freeman Gilmore mailto:freeman.gilm...@gmail.com>> wrote: Is there a way to make the font larger in the Frescobaldi, LilyPo

Re: Frescobaldi LilyPond Log

2019-11-02 Thread Ben
On 11/2/2019 8:16 PM, Freeman Gilmore wrote: Is there a way to make the font larger in the Frescobaldi, LilyPond Log? Thank you, ƒg Yes, you can hover the mouse over the log and use the mouse wheel + control key to change font size. :)

Re: Frescobaldi LilyPond Log

2019-11-02 Thread Freeman Gilmore
On Sat, Nov 2, 2019 at 9:26 PM Ben wrote: > On 11/2/2019 8:16 PM, Freeman Gilmore wrote: > > Is there a way to make the font larger in the Frescobaldi, LilyPond Log? > Thank you, > ƒg > > Yes, you can hover the mouse over the log and use the mouse wheel + > control

Re: Frescobaldi LilyPond Log

2019-11-02 Thread Andrew Bernard
Well thanks Colin, I never knew this. Most appreciated! Andrew On Sun, 3 Nov 2019 at 11:41, Colin Campbell wrote: > > Here's an odd one: on my Fedora desktop, running Frescobaldi 3.0.0 I can > change the type face of the log in Edit|Preferences|Tools. There is also > a dropdown which looks as

Re: Frescobaldi LilyPond Log

2019-11-02 Thread Ben
On 11/2/2019 9:31 PM, Freeman Gilmore wrote: On Sat, Nov 2, 2019 at 9:26 PM Ben <mailto:soundsfromso...@gmail.com>> wrote: On 11/2/2019 8:16 PM, Freeman Gilmore wrote: Is there a way to make the font larger in the Frescobaldi, LilyPond Log? Thank you, ƒg

Re: Frescobaldi LilyPond Log

2019-11-02 Thread Freeman Gilmore
On Sat, Nov 2, 2019 at 9:59 PM Ben wrote: > On 11/2/2019 9:31 PM, Freeman Gilmore wrote: > > > > On Sat, Nov 2, 2019 at 9:26 PM Ben wrote: > >> On 11/2/2019 8:16 PM, Freeman Gilmore wrote: >> >> Is there a way to make the font larger in the Frescobald

Re: Frescobaldi LilyPond Log

2019-11-02 Thread Ben
/2/2019 8:16 PM, Freeman Gilmore wrote: Is there a way to make the font larger in the Frescobaldi, LilyPond Log? Thank you, ƒg Yes, you can hover the mouse over the log and use the mouse wheel + control key to change font size. :) Is there a way

Re: Frescobaldi LilyPond Log

2019-11-02 Thread Freeman Gilmore
te: >> >>> On 11/2/2019 8:16 PM, Freeman Gilmore wrote: >>> >>> Is there a way to make the font larger in the Frescobaldi, LilyPond Log? >>> Thank you, >>> ƒg >>> >>> Yes, you can hover the mouse over the log and use the mouse wheel

Re: Frescobaldi LilyPond Log

2019-11-02 Thread Ben
/2/2019 9:31 PM, Freeman Gilmore wrote: On Sat, Nov 2, 2019 at 9:26 PM Ben mailto:soundsfromso...@gmail.com>> wrote: On 11/2/2019 8:16 PM, Freeman Gilmore wrote: Is there a way to make the font larger in the Frescobaldi, LilyPond Log?

Re: Frescobaldi LilyPond Log

2019-11-03 Thread Freeman Gilmore
;>> >>>> On 11/2/2019 8:16 PM, Freeman Gilmore wrote: >>>> >>>> Is there a way to make the font larger in the Frescobaldi, LilyPond >>>> Log? >>>> Thank you, >>>> ƒg >>>> >>>> Yes, you can hover t

Re: Frescobaldi LilyPond Log

2019-11-26 Thread Steve Cummings
(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 so