} else if (cancelReplacingDelay()) { if (event.type == SWT.MouseUp) { stop(); // avoid that someone else replaces the info control before the async is exec'd if (infoControl instanceof IDelayedInputChangeProvider) { final IDelayedInputChangeProvider delayedICP= (IDelayedInputChangeProvider) infoControl; handleMouseMove(event); case SWT.MouseEnter: case SWT.MouseExit: handleMouseMove(event); break;
} else if (cancelReplacingDelay()) { if (event.type == SWT.MouseUp) { stop(); // avoid that someone else replaces the info control before the async is exec'd if (infoControl instanceof IDelayedInputChangeProvider) { final IDelayedInputChangeProvider delayedICP= (IDelayedInputChangeProvider) infoControl; handleMouseMove(event); case SWT.MouseEnter: case SWT.MouseExit: handleMouseMove(event); break;
/** * Creates a new hover information control manager using the given information control creator. * By default a <code>Closer</code> instance is set as this manager's closer. * * @param creator the information control creator */ protected AbstractHoverInformationControlManager(IInformationControlCreator creator) { super(creator); setCloser(new Closer()); setHoverEnrichMode(ITextViewerExtension8.EnrichMode.AFTER_DELAY); }
/** * Creates a new hover information control manager using the given information control creator. * By default a <code>Closer</code> instance is set as this manager's closer. * * @param creator the information control creator */ protected AbstractHoverInformationControlManager(IInformationControlCreator creator) { super(creator); setCloser(new Closer()); setHoverEnrichMode(ITextViewerExtension8.EnrichMode.AFTER_DELAY); }