.getInstance();
fShowExternalPreviewAction.setEditor(textEditor);
fShowExternalPreviewAction.update();
- if (fShowExternalPreviewAction != null) {
- fShowExternalPreviewAction
- .doRun(ShowExternalPreviewAction.PHP_TYPE);
- }
+ // if (fShowExternalPreviewAction != null) {
+ // fShowExternalPreviewAction
+ // .doRun(ShowExternalPreviewAction.PHP_TYPE);
+ // }
+ fShowExternalPreviewAction
+ .refresh(ShowExternalPreviewAction.PHP_TYPE);
}
}
}
\ No newline at end of file