Editor menu not resizing when switching to the settings tab

[Xoriun]

When in editor mode, the Map editor window changes size depending on which tool is currently selected. However, if you switch to the Settings tab, it does not resize.
This is most noticeable when having the NONE tool selected, as only a minor part of the settings is visible and you have to scroll a lot. If the Entities tool is selected, there is a lot of unused GUI after the last setting, as the Entities tool spans the whole height of the screen.

I would expect the Map editor to resize when switching to the settings tab like when switching between different tools.

[Klonan]

This is intended, at least it is very deliberate in the code, so I moving to not a bug