Req: Right-side pane (machinery/locales) draggable to resize

I want to be able to drag the border between [terms/comments] and [machinery/locales] up and down to resize those boxes, letting me see more or fewer locales. =)

Thanks for the report! Could you please file an issue?

The fact of the matter is that the Terms and Comments panels are often empty, taking up space that could otherwise be used by the Machinery and Locales. Perhaps we could find a better way of organizing these panels in first place.