118119120121122123124125126
}; return info; } return new DefaultInformationControl(parent, EditorsUI.getTooltipAffordanceString(), new ErlInformationPresenter(true)); } }; }
210211212213214215216217218
} }; } else { control = new DefaultInformationControl(parent, EditorsUI.getTooltipAffordanceString(), new ErlInformationPresenter(true)); } return control; }
183184185186187188189190191
@Override public IInformationControl createInformationControl(final Shell parent) { return new DefaultInformationControl(parent, EditorsUI.getTooltipAffordanceString(), new ErlInformationPresenter(true)); } }; }