void (int lineZoomFactor) { int oldValue = grid.getLineZoomFactor(); if (oldValue != lineZoomFactor) { grid.setLineZoomFactor(lineZoomFactor); firePropertyChange(GRID_LINE_ZOOM_FACTOR_PROP, oldValue, lineZoomFactor); } }