|
From: | Malte Meyn |
Subject: | Re: Frescobaldi font size preferences |
Date: | Fri, 11 May 2018 11:42:11 +0200 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.7.0 |
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. [Butthanks 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 (Frescobaldi 3.0.0 too), seems to be a bug. The changed font size is present in the config file but it has no visible effect.
Bug report: https://github.com/wbsoft/frescobaldi/issues/1066
[Prev in Thread] | Current Thread | [Next in Thread] |