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

Width fixing #3669

Merged
merged 1 commit into from Aug 24, 2015

Conversation

Projects
None yet
3 participants
@Akarshit
Member

Akarshit commented Aug 19, 2015

Possible fix for #3644

@benfry

This comment has been minimized.

Show comment
Hide comment
@benfry

benfry Aug 21, 2015

Member

Waiting for word from @alignedleft

Member

benfry commented Aug 21, 2015

Waiting for word from @alignedleft

@alignedleft

This comment has been minimized.

Show comment
Hide comment
@alignedleft

alignedleft Aug 21, 2015

Member

Will be checking this and my other items shortly.

Member

alignedleft commented Aug 21, 2015

Will be checking this and my other items shortly.

@alignedleft

This comment has been minimized.

Show comment
Hide comment
@alignedleft

alignedleft Aug 21, 2015

Member

screen shot 2015-08-21 at 11 37 10 am

Categories drop-down is 6-7 px too far to the right.

Is it difficult to get UI elements aligned like this? I didn't expect it would be.

Member

alignedleft commented Aug 21, 2015

screen shot 2015-08-21 at 11 37 10 am

Categories drop-down is 6-7 px too far to the right.

Is it difficult to get UI elements aligned like this? I didn't expect it would be.

@Akarshit

This comment has been minimized.

Show comment
Hide comment
@Akarshit

Akarshit Aug 22, 2015

Member

@alignedleft It is extremely easy. The problem is that I don't have a Mac, I only have linux so I can't test this on Mac. Whatever PR i give works perfectly on linux.

Member

Akarshit commented Aug 22, 2015

@alignedleft It is extremely easy. The problem is that I don't have a Mac, I only have linux so I can't test this on Mac. Whatever PR i give works perfectly on linux.

@benfry

This comment has been minimized.

Show comment
Hide comment
@benfry

benfry Aug 22, 2015

Member

So is this one ready to merge?

Member

benfry commented Aug 22, 2015

So is this one ready to merge?

@alignedleft

This comment has been minimized.

Show comment
Hide comment
@alignedleft

alignedleft Aug 24, 2015

Member

@benfry Yes, this is ready to merge and fixes #3644. Thanks!

Member

alignedleft commented Aug 24, 2015

@benfry Yes, this is ready to merge and fixes #3644. Thanks!

benfry added a commit that referenced this pull request Aug 24, 2015

@benfry benfry merged commit 62ff782 into processing:master Aug 24, 2015

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment