Actually I don't like the new behavior. It does indeed fix the bug as reported. However resizing EiffelStudio now flickers a lot more than before. I believe that the proportion should be used only when it makes sense (when EiffelStudio gets smaller than a certain size) and other than that we should do almost like before with a tiny difference.

The difference is that in 6.3 when resizing EiffelStudio, it is not the editor that gets smaller or bigger, it is the tools. I say it should be the way around. It should be the editor that gets smaller/bigger, not the tools. I understand the editor gets smaller, but only when the tools are shrinked to their smallest size.

Any objection to this behavior?