Rework resizing of the problem editor.#2954

drgrice1 wants to merge 2 commits into

openwebwork:WeBWorK-2.21openwebwork/webwork2:WeBWorK-2.21from

drgrice1:pgeditor-resizingdrgrice1/webwork2:pgeditor-resizingCopy head branch name to clipboard