this.memento = memento;
}
private void updateStatusLine() {
if (viewer != null) {
LuceneContentProvider prov = (LuceneContentProvider)viewer.getContentProvider();
if(prov != null) {
if (statusLineItemPoolsize != null) {
int num = prov.getDocCount();
statusLineItemPoolsize.setText("Pool: " + num + " cards");
}
if (statusLineItemHitsize != null) {
int num = prov.getItemCount();
statusLineItemHitsize.setText("Hits: " + num + " cards");
}
}
}
}