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
>> > jagg
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 the
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 wa