Thanks for clarifying. It seems like being able to specify a priority would provide more certainty, or being able to switch providers around to suit context might also be useful…
Regards, Greg
Hi Greg,
Frankly sorting these by plug-in deps is a little strange. I suspect it has to do with some lazy loading optimization decisions, but it is certainly not obvious to the user what is happening.
For history the CDT implementation was copied from the JDT one, with one addition being the sort by label. This came up earlier this year as PyDev was improving hover support, including adding multiple hovers and solving the priority problem. The PyDev implementation is an improvement of the JDT/CDT ones. Here is a message from pydev's dev list that may help: https://sourceforge.net/p/pydev/mailman/message/34779659/
Jonah
_______________________________________________ cdt-dev mailing list cdt-dev@xxxxxxxxxxxTo change your delivery options, retrieve your password, or unsubscribe from this list, visit https://dev.eclipse.org/mailman/listinfo/cdt-dev
|