This is based on the idea from #8 -- The goal being that the bottom pane height is expressed in percent-of-screen, not raw pixels. Especially since screens tend to get physically smaller while logically larger (it's not uncommon to have a Full-HD screen at 15 inch these days).
This is based on the idea from #8 -- The goal being that the bottom pane height is expressed in percent-of-screen, not raw pixels. Especially since screens tend to get physically smaller while logically larger (it's not uncommon to have a Full-HD screen at 15 inch these days).
Don't merge yet.