Comment 5 for bug 180302

Low priority since mainly aesthetic problem with known workaround (undock/hide/minimize panels when you need more screen space).

Martin: some more specific ideas for improvement would be helpful. Do you know of other applications that handle this better? Do you think stretching all panels to the width of the widest panel is incorrect? A mockup would probably help the developers attack this problem a lot more effectively...