.getImageDescriptor(ISharedImages.IMG_OBJ_FOLDER));
restore.setToolTipText("Restore previous results");
}
private void makeSaveAction() {
save = new SaveAction(viewer.getControl().getShell());
save.setImageDescriptor(PlatformUI.getWorkbench().getSharedImages()
.getImageDescriptor(ISharedImages.IMG_ETOOL_SAVE_EDIT));
save.setToolTipText("Save coverage results");
}