return PHPUiPlugin.getDefault().getTextTools();
}
public IInformationControlCreator getInformationControlCreator() {
if (fCreator == null) {
fCreator = new CompletionHoverControlCreator(
new IInformationControlCreator() {
public IInformationControl createInformationControl(
Shell parent) {
if (BrowserInformationControl.isAvailable(parent)) {
return new BrowserInformationControl(