/**
* Sets the zoom factor for the history views in this manager.
*
* @param value the zoom factor (must be > 0): 0 < value < 1 --> zoom out 1 = value --> default
* size 1 < value < inifity --> zoom in
*/
public void setZoomFactor(float value) {
properties.zoomFactor = value;
for (AbstractArrayController hc : historyControllers) {
hc.getView().redraw();
}
adjustWidth();
}
public void setInstantSearch(String searchParameter) {
properties.searchParameter = searchParameter.toLowerCase();
for (AbstractArrayController hc : historyControllers) {
hc.getView().redraw();
}
}
