this(op.getOptions(), op.getPipeline());
}
private SourceHistoryOptionUi(OperationOptions options, OperationPipeline pipeline) {
super(OperationResources.getString("Page.History"));
SourceHistoryOption current = options.getSourceHistoryOption();
setSelected(current.isHistoryChecked());
setEnabled(current.isApplicableFor(pipeline));
}