double () { double factor = getZoomFactor(); if (factor > 1.0d) { // Macro factor /= MACRO_ZOOM_RATIO; factor = Math.max(factor, 1.0d); } else { // Micro factor /= MICRO_ZOOM_RATIO; } return Math.max(factor, getMinimumZoomFactor()); }