Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Edge: Dark mode support: Use LIGHT instead of AUTO #1558

Merged
merged 1 commit into from
Oct 25, 2024
Merged

Edge: Dark mode support: Use LIGHT instead of AUTO #1558

merged 1 commit into from
Oct 25, 2024

Conversation

sratz
Copy link
Member

@sratz sratz commented Oct 25, 2024

In the scenario

  • System: Dark
  • Eclipse: Light

we need to explicitly set

  • Edge: Light

as well, as with the previous

  • Edge: Auto

it would inherit 'Dark' from the system, which is not desired.

Follow-up on 4d61d1d / #1530.

@sratz
Copy link
Member Author

sratz commented Oct 25, 2024

Maybe when we go in the direction of eclipse-platform/eclipse.platform.ui#2440 (inherit from system + auto-adapt theme on-the-fly) we need to use AUTO at some point.

Copy link
Contributor

github-actions bot commented Oct 25, 2024

Test Results

   483 files  ±0     483 suites  ±0   7m 50s ⏱️ - 2m 18s
 4 095 tests ±0   4 085 ✅ ±0   7 💤 ±0  3 ❌ ±0 
16 173 runs  ±0  16 080 ✅ ±0  90 💤 ±0  3 ❌ ±0 

For more details on these failures, see this check.

Results for commit d7dfc74. ± Comparison against base commit 22a6423.

♻️ This comment has been updated with latest results.

In the scenario
- System: Dark
- Eclipse: Light

we need to explicitly set
- Edge: Light

as well, as with the previous
- Edge: Auto

it would inherit 'Dark' from the system, which is not desired.

Follow-up on 4d61d1d / #1530.
@sratz
Copy link
Member Author

sratz commented Oct 25, 2024

Test failures on Linux are unrelated.

@sratz sratz merged commit 69d16e9 into master Oct 25, 2024
12 of 14 checks passed
@sratz sratz deleted the edge-dark branch October 25, 2024 15:21
@sratz sratz added the edge Edge Browser label Oct 25, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
edge Edge Browser
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants