Solved! Thanks!
Julio Rojas
jcredbe...@gmail.com
On Wed, Sep 16, 2020 at 3:07 PM Yu Jin wrote:
> Am Mi., 16. Sept. 2020 um 19:54 Uhr schrieb Yu Jin :
>
>> Am Mi., 16. Sept. 2020 um 17:23 Uhr schrieb Richard Kimberly Heck <
>> rikih...@lyx.org>:
>>
>>> On 9/16/20 9:49 AM, jcredbe...@gmail.com
Am Mi., 16. Sept. 2020 um 19:54 Uhr schrieb Yu Jin :
> Am Mi., 16. Sept. 2020 um 17:23 Uhr schrieb Richard Kimberly Heck <
> rikih...@lyx.org>:
>
>> On 9/16/20 9:49 AM, jcredbe...@gmail.com wrote:
>> > Dear all,
>> >
>> > Lyx's pulldowns on Windows 10 are being rendered with a very small
>> >
Am Mi., 16. Sept. 2020 um 17:23 Uhr schrieb Richard Kimberly Heck <
rikih...@lyx.org>:
> On 9/16/20 9:49 AM, jcredbe...@gmail.com wrote:
> > Dear all,
> >
> > Lyx's pulldowns on Windows 10 are being rendered with a very small
> > jagged font: ... I have a UHD monitor, but did not really see this
On 9/16/20 9:49 AM, jcredbe...@gmail.com wrote:
> Dear all,
>
> Lyx's pulldowns on Windows 10 are being rendered with a very small
> jagged font: ... I have a UHD monitor, but did not really see this
> problem until the latest release (2.3.5.2, isn't it)? This same small
> font is also used for
Dear all,
Lyx's pulldowns on Windows 10 are being rendered with a very small jagged
font:
[image: image.png]
I have a UHD monitor, but did not really see this problem until the latest
release (2.3.5.2, isn't it)? This same small font is also used for the file
names and in the panes. Is there a