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

Re: Frescobaldi LilyPond Log

2019-11-03 Thread Freeman Gilmore
Problem solved for LilyPond log font size using AutoHotkey. Thanke for the help from Ben (sounds from sound). Thank you all, fg On Sat, Nov 2, 2019 at 11:10 PM Ben wrote: > On 11/2/2019 10:57 PM, Freeman Gilmore wrote: > > > > On Sat, Nov 2, 2019 at 10:51 PM Ben wrote: > >> On 11/2/2019

Re: Frescobaldi LilyPond Log

2019-11-02 Thread Ben
On 11/2/2019 10:57 PM, Freeman Gilmore wrote: On Sat, Nov 2, 2019 at 10:51 PM Ben > wrote: On 11/2/2019 10:16 PM, Freeman Gilmore wrote: On Sat, Nov 2, 2019 at 9:59 PM Ben mailto:soundsfromso...@gmail.com>> wrote: On 11/2/2019 9:31 PM,

Re: Frescobaldi LilyPond Log

2019-11-02 Thread Freeman Gilmore
On Sat, Nov 2, 2019 at 10:51 PM Ben wrote: > On 11/2/2019 10:16 PM, Freeman Gilmore wrote: > > > > 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

Re: Frescobaldi LilyPond Log

2019-11-02 Thread Ben
On 11/2/2019 10:16 PM, Freeman Gilmore wrote: 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 mailto:soundsfromso...@gmail.com>> wrote: On 11/2/2019 8:16 PM,

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 Frescobaldi, LilyPond Log? >> Thank you, >> ƒg >> >>

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 > 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

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 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 key to change font size. :) >

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 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, LilyPond

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? > >