- Region max size is independent from dpi, and is possible to have bigger size that the tools size.
It will minimize when bigger, and will not open from tab click or drag up. To open it need to drag the tab[+] down to scale it down.
- When a region have a bigger size from the space it can fit will not appear with clicking on tab (will need to drag). This case can happen when shrinking the size of a space.
- File browser's tool's properties now have correct max size(can go up to top).
REMOVED: A piece of code about header size that have no use anymore.
And a part about header edge, that no longer needed.