Comment 2 for bug 867582

This patch makes the inspector resizable, but it isn't a very clean way of doing so, and the minimum size for it was chosen by guesswork (any smaller and the inspector is "crushed" by some amount) and is hardcoded. Clearly this isn't optimal, but input on a better way of making the inspector shrinkable would be much welcome; this may suffice in the meantime for users to whom the inspector is unusable at the moment.