Skip to content

Conversation

@ShahzaibIbrahim
Copy link
Contributor

The Tree.EXPLORER_EXTRA constant specifies the additional spacing applied to tree items when using the Explorer theme. Previously, this was defined as a fixed pixel value, which caused the extra spacing to appear too small on high-DPI monitors.

This change redefines EXPLORER_EXTRA in points and converts it to pixels based on the current zoom level, ensuring consistent spacing in Explorer-themed trees across different display scales.

How to Test

  • Run the Runtime workspace on primary monitor 250%
  • See the project/package explorer.
  • The items should look little bit bigger.

Results

Before :
image

After :
image

Note: the difference is very minor (from 2px to 4px) so you might not notice the difference but using some sort of scale, you can compare the size of items before and after this change.

@github-actions
Copy link
Contributor

github-actions bot commented Aug 21, 2025

Test Results

   546 files  + 7     546 suites  +7   32m 37s ⏱️ - 7m 42s
 4 426 tests +54   4 409 ✅ +71   17 💤 +3  0 ❌  - 7 
16 750 runs  +54  16 623 ✅ +71  127 💤 +3  0 ❌  - 7 

Results for commit c279095. ± Comparison against base commit 1bad9a2.

♻️ This comment has been updated with latest results.

@ShahzaibIbrahim ShahzaibIbrahim force-pushed the master-404-EXPORER_EXTRA branch from b8a2c8c to 5b271f9 Compare August 27, 2025 11:25
@akoch-yatta akoch-yatta force-pushed the master-404-EXPORER_EXTRA branch 2 times, most recently from eb8be9a to d8efb7b Compare September 3, 2025 12:34
The Tree.EXPLORER_EXTRA constant specifies the additional spacing applied to
tree items when using the Explorer theme. Previously, this was defined as a
fixed pixel value, which caused the extra spacing to appear too small on
high-DPI monitors.

This change redefines EXPLORER_EXTRA in points and converts it to pixels based
on the current zoom level, ensuring consistent spacing in Explorer-themed trees
across different display scales.
@akoch-yatta akoch-yatta force-pushed the master-404-EXPORER_EXTRA branch from d8efb7b to c279095 Compare September 3, 2025 12:35
@akoch-yatta akoch-yatta merged commit 3444886 into eclipse-platform:master Sep 3, 2025
20 of 22 checks passed
@akoch-yatta akoch-yatta deleted the master-404-EXPORER_EXTRA branch September 3, 2025 13:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Scale Tree.EXPLORER_EXTRA by zoom level instead of using fixed pixels

2 participants