Re: Frescobaldi font size preferences

On 5/11/2018 4:22 AM, Andrew Bernard wrote: Is there a way to set the font size of the lilypond log window to what one desires? I am unable to find this setting. Apologies for posting here but it would appear that the Google Groups group for Frescobaldi is more or less moribund. Andrew

Re: Frescobaldi font size preferences

Am 11.05.2018 um 11:42 schrieb Malte Meyn: Am 11.05.2018 um 11:33 schrieb Malte Meyn: Am 11.05.2018 um 11:29 schrieb Andrew Bernard: HI Malte, Frescobaldi 3.0.0 on Ubuntu 16.04. The font changes, but not the size. [But thanks for the tip - I never found that setting before.] Could

Re: Frescobaldi font size preferences

Am 11.05.2018 um 11:33 schrieb Malte Meyn: Am 11.05.2018 um 11:29 schrieb Andrew Bernard: HI Malte, Frescobaldi 3.0.0 on Ubuntu 16.04. The font changes, but not the size. [But thanks for the tip - I never found that setting before.] Could this be a bug? The font size can be changed in

Re: Frescobaldi font size preferences

Am 11.05.2018 um 11:29 schrieb Andrew Bernard: HI Malte, Frescobaldi 3.0.0 on Ubuntu 16.04. The font changes, but not the size. [But thanks for the tip - I never found that setting before.] Could this be a bug? The font size can be changed in the editor window OK. Can reproduce

Re: Frescobaldi font size preferences

HI Malte, Frescobaldi 3.0.0 on Ubuntu 16.04. The font changes, but not the size. [But thanks for the tip - I never found that setting before.] Could this be a bug? The font size can be changed in the editor window OK. Andrew On 11 May 2018 at 18:28, Malte Meyn wrote:

Re: Frescobaldi font size preferences

Am 11.05.2018 um 10:22 schrieb Andrew Bernard: Is there a way to set the font size of the lilypond log window to what one desires? I am unable to find this setting. Yes, the settings can be found at Edit→Preferences→Tools. ___ lilypond-user

Frescobaldi font size preferences

Is there a way to set the font size of the lilypond log window to what one desires? I am unable to find this setting. Apologies for posting here but it would appear that the Google Groups group for Frescobaldi is more or less moribund. Andrew ___