}
}
private void drawNumbers(final Graphics g, final double start, final double end)
{
final Unit unit = WorkspaceSettings.getInstance().getUnit();
final float zoomAsPercentage = zoomModel.getZoomAsPercentage();
final double factorForUnitAndScale = unit.getTickSize((double) zoomAsPercentage);
final double increment = unit.getDotsPerUnit() * factorForUnitAndScale;
DecimalFormat df = decimalFormatInteger;
if (factorForUnitAndScale < 1)
{
df = decimalFormatNumbersOneDigit;