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

[Sticky Scrolling] Fix "Show line numbers" settings is not correctly handled #2328

Merged

Conversation

Christopher-Hermann
Copy link
Contributor

@Christopher-Hermann Christopher-Hermann commented Sep 25, 2024

When changing the "Show line numbers" setting for the editor, the sticky scrolling control should also react on the setting and hide the line numbers.

Fixes #2269

Retest

Enable sticky scrolling and open a java class. Ensure that a sticky line is visible. Change the "Show line numbers" settings in the Text Editor settings and check that the sticky scrolling rendering is adapted accordingly.
image

@Christopher-Hermann Christopher-Hermann changed the title Fix "Show line numbers" settings is not correctly handled [Sticky Scrolling] Fix "Show line numbers" settings is not correctly handled Sep 25, 2024
@Christopher-Hermann
Copy link
Contributor Author

#2266 must be merged first

Copy link
Contributor

github-actions bot commented Sep 25, 2024

Test Results

 1 815 files  ±0   1 815 suites  ±0   1h 40m 22s ⏱️ + 7m 10s
 7 700 tests +1   7 472 ✅ +2  228 💤 ±0  0 ❌  - 1 
24 261 runs  +3  23 514 ✅ +4  747 💤 ±0  0 ❌  - 1 

Results for commit ed04e04. ± Comparison against base commit 0fa0c4b.

♻️ This comment has been updated with latest results.

When changing the "Show line numbers" setting for the editor, the sticky scrolling control should also react on the setting and hide the line numbers.

Fixes eclipse-platform#2269
@Christopher-Hermann Christopher-Hermann merged commit 62abff0 into eclipse-platform:master Sep 26, 2024
16 checks passed
@Christopher-Hermann Christopher-Hermann deleted the lineNumberFix branch September 26, 2024 14:35
@BeckerWdf BeckerWdf added this to the 4.34 M1 milestone Sep 26, 2024
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.

[StickyScrolling] "Show line numbers" settings is not correctly handled
2 participants