showHtml.setImageDescriptor(PlatformUI.getWorkbench().getSharedImages()
.getImageDescriptor(ISharedImages.IMG_OBJS_INFO_TSK));
}
private void makeClearAction() {
clear = new ClearCoverageAction();
clear.setImageDescriptor(PlatformUI.getWorkbench().getSharedImages()
.getImageDescriptor(ISharedImages.IMG_ETOOL_CLEAR));
clear.setToolTipText("Clear coverage marking from editor");
}