@@ -76,7 +76,6 @@ public static Optional<AutoScaleMethod> forString(String s) {
7676 * but only uses integer multiples of 100%. The detected native zoom is
7777 * generally rounded down (e.g. at 150%, will use 100%), unless close to
7878 * the next integer multiple (currently at 175%, will use 200%).</li>
79- * <li><b>integer200</b>: like <b>integer</b>, but the maximal zoom level is 200%.</li>
8079 * <li><b>half</b>: deviceZoom depends on the current display resolution,
8180 * but only uses integer multiples of 50%. The detected native zoom is
8281 * rounded to the closest permissible value, with tie-breaker towards even.</li>
@@ -88,7 +87,7 @@ public static Optional<AutoScaleMethod> forString(String s) {
8887 * <li><i><value></i>: deviceZoom uses the given integer value in
8988 * percent as zoom level.</li>
9089 * </ul>
91- * The current default is "integer200 ".
90+ * The current default is "integer ".
9291 */
9392 private static final String SWT_AUTOSCALE = "swt.autoScale" ;
9493
@@ -130,13 +129,13 @@ static void setAutoScaleValue(String autoScaleValueArg) {
130129 *
131130 * The supported auto-scale modes are "quarter" and "exact" or explicit zoom values given
132131 * by the value itself or "false". Every other value will be treated as
133- * "integer"/"integer200" and is thus not supported.
132+ * "integer" and is thus not supported.
134133 *
135134 * <p>
136135 * <b>Background information:</b>
137136 * Monitor-specific scaling on Windows only supports auto-scale modes in which
138137 * all elements (font, images, control bounds etc.) are scaled equally or almost
139- * equally. The previously default mode "integer"/"integer200" , which rounded
138+ * equally. The previously default mode "integer", which rounded
140139 * the scale factor for everything but fonts to multiples of 100, is complex and
141140 * difficult to realize with monitor-specific rescaling of UI elements. Since a
142141 * uniform scale factor for everything should perspectively be used anyway,
@@ -444,7 +443,7 @@ private static int getZoomForAutoscaleProperty (int nativeDeviceZoom, String aut
444443 } else if ("half" .equalsIgnoreCase (autoScaleValue )) {
445444 // Math.round rounds 125->150 and 175->200,
446445 // Math.rint rounds 125->100 and 175->200 matching
447- // "integer200 "
446+ // "integer "
448447 zoom = (int ) Math .rint (nativeDeviceZoom / 50d ) * 50 ;
449448 } else if ("quarter" .equalsIgnoreCase (autoScaleValue )) {
450449 zoom = Math .round (nativeDeviceZoom / 25f ) * 25 ;
@@ -459,7 +458,7 @@ private static int getZoomForAutoscaleProperty (int nativeDeviceZoom, String aut
459458 }
460459 }
461460 }
462- if (zoom == 0 ) { // || "integer".equalsIgnoreCase (value) || "integer200".equalsIgnoreCase (value)
461+ if (zoom == 0 ) {
463462 zoom = Math .max ((nativeDeviceZoom + 25 ) / 100 * 100 , 100 );
464463 }
465464 return zoom ;
0 commit comments