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