Make the empty pane menu shrink when needed
Make the empty pane menu shrink when needed

sedwards2009/extraterm,sedwards2009/extraterm,sedwards2009/extraterm,sedwards2009/extraterm,sedwards2009/extraterm