Replacing Image(Device, ImageData) constructor in DefaultRangeIndicator with Image(Device, ImageDataProvider)

[arunjose696]

DefaultRangeIndicator previously used Image(Device, ImageData) constructor to draw a grid to display the selected range.

Previously, the grid was rendered using a 1×1 pixel checkerboard pattern (blue and white), which was mainly inteded to work at 100% zoom. However, at higher zoom levels (e.g., 150%, 200%), the visual intensity of the pattern becomes different, causing the grid to appear visually inconsistent across zooms.

Figures below uses Image(Device, ImageData)

200%

100%

The new implementation uses Image(Device, ImageDataProvider) adapts the grid's block size based on the zoom scale. Instead of always using 1×1 blocks, it calculates the block size by rounding the zoom factor:

For zoom levels like 100%, 125%, etc., block size = 1 (no change).

For higher zoom levels like 150%, 200%, etc., block size = 2.

This means the grid will now use 2×2 rectangles for higher zooms, resulting in a visual appearance that better matches how the original 1×1 pattern looks on standard (100%) displays. This preserves visual consistency across different zoom levels and monitor scaling settings.

Figures below Uses Image(Device, ImageDataProvider)

100%

125%

150%

175%

200%

Contributes to vi-eclipse/Eclipse-Platform#199

[github-actions]

Test Results

 1 824 files  ±0   1 824 suites  ±0   1h 53m 37s ⏱️ + 21m 6s
 7 925 tests ±0   7 697 ✅ ±0  228 💤 ±0  0 ❌ ±0 
23 862 runs  ±0  23 114 ✅ ±0  748 💤 ±0  0 ❌ ±0 

Results for commit 8f34f2e. ± Comparison against base commit a9ec6c9.