Update bundles/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/DefaultRangeIndicator.java

Co-authored-by: Federico Jeanne <[email protected]>

Author: arunjose696

bundles/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/DefaultRangeIndicator.java

@@ -143,8 +143,8 @@ private static Image createImage(Display display, Point size, Color rangeIndicat
 		ImageDataProvider imageDataProvider = zoom -> {
 
 			float scaleFactor = (float) ((zoom) / 100.0);
-			int scaled_width = Math.round(width * scaleFactor);
-			int scaled_height = Math.round(height * scaleFactor);
+			int scaledWidth = Math.round(width * scaleFactor);
+			int scaledHeight = Math.round(height * scaleFactor);
 			ImageData imageData = new ImageData(scaled_width, scaled_height,
 					1,
 					createPalette(display, rangeIndicatorColor));