@Override public void replaceInformationControl(boolean takeFocus) { AnnotationBarHoverManager.super.getInternalAccessor().replaceInformationControl(takeFocus); }
@Override public void replaceInformationControl(boolean takeFocus) { AnnotationBarHoverManager.super.getInternalAccessor().replaceInformationControl(takeFocus); }
@Override public void run() { fAdditionalInfoController.getInternalAccessor().replaceInformationControl(true); } });
fAdditionalInfoController.hideInformationControl(); else if (event.type == SWT.MouseVerticalWheel) fAdditionalInfoController.getInternalAccessor().replaceInformationControl(false); } else if (infoControl != null && infoControl.isFocusControl()) { fAdditionalInfoController.getInternalAccessor().replaceInformationControl(true); control.getShell().getDisplay().asyncExec(() -> fAdditionalInfoController.getInternalAccessor().replaceInformationControl(true));
fAdditionalInfoController.hideInformationControl(); else if (event.type == SWT.MouseVerticalWheel) fAdditionalInfoController.getInternalAccessor().replaceInformationControl(false); } else if (infoControl != null && infoControl.isFocusControl()) { fAdditionalInfoController.getInternalAccessor().replaceInformationControl(true);