setHideDelay(labelProvider.getToolTipTimeDisplayed(element)); Point shift = labelProvider.getToolTipShift(element);
setHideDelay(labelProvider.getToolTipTimeDisplayed(element)); Point shift = labelProvider.getToolTipShift(element);
setHideDelay(labelProvider.getToolTipTimeDisplayed(element)); Point shift = labelProvider.getToolTipShift(element);