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

Don't let the dock take up space unless populated #208

Merged

knixeur merged 1 commit into master from noMinimumDockSize

Oct 9, 2019

Owner

raboof commented Oct 9, 2019

fixes #206


          Don't let the dock take up space unless populated (#206)

9ca2faf

knixeur approved these changes

View reviewed changes

Collaborator

knixeur left a comment

That's what I had locally, forgot to submit the PR heh

knixeur merged commit 0ca62ae into master

knixeur deleted the noMinimumDockSize branch

October 9, 2019 23:37

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

Labels

None yet