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

Merged

knixeur merged 1 commit intomasterfrom noMinimumDockSize

Oct 9, 2019

+2-2

Commits on Oct 9, 2019

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