Re: [code] Change status text font size

From: Mitchell <>
Date: Mon, 6 Apr 2020 12:47:35 -0400 (EDT)


On Mon, 6 Apr 2020, bai bai wrote:

> It works! But one small gui glitch, the cursor height is strange, it is
> bigger than the base font. Is there a scintilla option to make cursor height
> the same as font?

No, the caret height is always the line height.


You are subscribed to
To change subscription settings, send an e-mail to
To unsubscribe, send an e-mail to
Received on Mon 06 Apr 2020 - 12:47:35 EDT

This archive was generated by hypermail 2.2.0 : Tue 07 Apr 2020 - 06:32:00 EDT