Make possible to adjust the width of the right most panel
The right most panel where is located the styling tool, the element settings tool etc, currently has a fixed width. This causes usability problems when for example the Navigator is full, because it is necessary to drag a scroll bar at the bottom t...