Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.
@techee commented on this pull request.
In src/editor.c:
> + if (plugin_extension_calltips_provided(doc)) + return FALSE;
For this patch yes.
I think the placement was some left-over of my attempt to rewrite the reshowing code (because the current one doesn't work very well), but it should be done separately.
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.