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.

Sign up for GitHub

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

Jump to bottom

Language Configuration preference page layout is incorrect. #552

Closed
raghucssit opened this issue Jun 13, 2023 · 2 comments
Closed

Language Configuration preference page layout is incorrect. #552

raghucssit opened this issue Jun 13, 2023 · 2 comments
Labels
enhancement help wanted

Comments

@raghucssit
Copy link
Contributor

Language configuration table/composite should grab the excess vertical space.
tm-pp-wrong
@sebthom
Copy link
Member

sebthom commented Jun 13, 2023

Nice find. A PR is welcome!

raghucssit added a commit to raghucssit/tm4e that referenced this issue Jun 14, 2023
@raghucssit
Fix grab excess vertical space. eclipse-tm4e#552
e823f88 
innerParent was grabbing all the excess vertical space. Changed to
layout data to do not grab excess vertical space.
@raghucssit raghucssit mentioned this issue Jun 14, 2023
Merged
raghucssit added a commit to raghucssit/tm4e that referenced this issue Jun 14, 2023
@raghucssit
Fix grab excess vertical space eclipse-tm4e#552.
c2cce82 
innerParent was grabbing all the excess vertical space. Changed to
layout data to do not grab excess vertical space.
raghucssit added a commit to raghucssit/tm4e that referenced this issue Jun 14, 2023
@raghucssit
Fix grab excess vertical space eclipse-tm4e#552.
599ecb3 
innerParent was grabbing all the excess vertical space. Changed to
layout data to do not grab excess vertical space.
sebthom pushed a commit that referenced this issue Jun 14, 2023
@raghucssit @sebthom
Fix grab excess vertical space #552.
1662e4f 
innerParent was grabbing all the excess vertical space. Changed to
layout data to do not grab excess vertical space.
@sebthom
Copy link
Member

sebthom commented Jun 14, 2023

Just merged your PR. Thanks!

@sebthom sebthom closed this as completed Jun 14, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement help wanted
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@sebthom @raghucssit