Re: [code] Textadept: non-breaking patch suggestion for editing.lua (to make custom scripting of mouse-driven hover-tips possible)

From: Mitchell <>
Date: Mon, 5 Nov 2018 08:29:08 -0500 (EST)

Hi Phil,

On Sun, 4 Nov 2018, Phil S. wrote:

>> *core/ui.lua* around lines 335 and 350 has buffer state save/restore.
>> There's no single state object. Just some simple arbitrarily
>> "_"-prefixed properties.
> Cool, will look into that! While I have your attention, remember my earlier
> exploration into the "mouse-driven hover-tips" script?
> It seems to now have settled that for this to work my local
> `textadept/modules/textadept/editing.lua` needs to be patched up as shown in
> the top-most diff here:
> I can of course keep patching my own local editing.lua on every TA update,
> but this seems a totally benign non-breaking tweak AFAICT. Would you consider
> looking at it, determining whether there are any hidden / unnoticed-by-me
> potential implied issues / gotchas / pitfalls that could arise from it, and
> if not would this tweak be acceptable for you to merge into Textadept's
> "official" editing.lua?

I've committed a change[1] that adds an optional position parameter to `textadept.editing.show_documentation()`.



You are subscribed to
To change subscription settings, send an e-mail to
To unsubscribe, send an e-mail to
Received on Mon 05 Nov 2018 - 08:29:08 EST

This archive was generated by hypermail 2.2.0 : Tue 06 Nov 2018 - 06:50:21 EST