/** * 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(); } }