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

Fix the Slider#computeSize method to take the real height into account #580

Merged
merged 3 commits into from
May 26, 2024

Conversation

laeubi
Copy link
Contributor

@laeubi laeubi commented Mar 22, 2024

Currently the slider is displayed quite big compared to other SWT controls (e.g. labels) and even if one make the slider height smaller this does not really change much using the usual SWT layout managers. The reason for this is that the slider currently reports a minimum height of 40 instead of query the real selector height.

This now reports the real height the control will be painted including a one pixel padding on top/bottom for antialiasing effects to be correctly shown.

Currently the slider is displayed quite big compared to other SWT
controls (e.g. labels) and even if one make the slider height smaller
this does not really change much using the usual SWT layout managers.
The reason for this is that the slider currently reports a minimum
height of 40 instead of query the real selector height.

This now reports the real height the control will be painted including a
one pixel padding on top/bottom for antialiasing effects to be correctly
shown.
@laeubi laeubi requested a review from lcaron March 22, 2024 06:16
@lcaron
Copy link
Contributor

lcaron commented Mar 23, 2024

Nice contribution, thank you @laeubi

I made a mistake while resolving the conflict
@lcaron lcaron merged commit 054e44b into EclipseNebula:master May 26, 2024
3 checks passed
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.

2 participants