Ejemplo n.º 1
0
 /**
  * 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();
 }
Ejemplo n.º 2
0
 public void setInstantSearch(String searchParameter) {
   properties.searchParameter = searchParameter.toLowerCase();
   for (AbstractArrayController hc : historyControllers) {
     hc.getView().redraw();
   }
 }