@techee commented on this pull request.
- 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.