Menu bar inspector sidebar can be resized

The Menu Bar editor now lets users resize the right-hand inspector sidebar with a vertical splitter. The IDE remembers the chosen width between launches and keeps the sidebar at a sensible minimum width.