Re: [code] Textadept: trying to script "hover tips"..

From: Giovanni Salmeri <g.salmeri.att.mondodomani.org>
Date: Fri, 2 Nov 2018 19:37:02 +0100

> I feel like this is a known limitation to Scintilla, that it only
> supports scrolling by lines, not pixels, but I cannot find the
> documentation to back up that statement at present.

The author of Scintilla confirms that:

Neil Hodgson - 2017-01-21

[...]
Scintilla doesn't support scrolling by pixel, only scrolling by text line.
[...]

https://sourceforge.net/p/scintilla/bugs/1901/

-- 
Giovanni Salmeri
http://mondodomani.org/pers/salmeri/
-- 
You are subscribed to code.att.foicica.com.
To change subscription settings, send an e-mail to code+help.att.foicica.com.
To unsubscribe, send an e-mail to code+unsubscribe.att.foicica.com.
Received on Fri 02 Nov 2018 - 14:37:02 EDT

This archive was generated by hypermail 2.2.0 : Sat 03 Nov 2018 - 06:42:05 EDT