Menu pane should be resizable #549
Description
#546 proposes to improve usability by making the references pane resizable. For similar reasons, the menu pane should be as well—addressing cutoff of the sort demonstrated in #546 (comment) .
{{ message }}
