use of org.python.pydev.editor.hover.PydevCombiningHover in project Pydev by fabioz.
the class PydevPlugin method getCombiningHoverDescriptor.
public static PyEditorTextHoverDescriptor getCombiningHoverDescriptor() {
if (combiningHoverDescriptor == null) {
combiningHoverDescriptor = new PyEditorTextHoverDescriptor(new PydevCombiningHover());
initializeDefaultCombiningHoverPreferences();
PyEditorTextHoverDescriptor.initializeHoversFromPreferences(new PyEditorTextHoverDescriptor[] { combiningHoverDescriptor });
}
return combiningHoverDescriptor;
}
Aggregations