Resize editor to adjust to window size.#2928

meisterT merged 1 commit intoDOMjudge:mainDOMjudge/domjudge:mainfrom

meisterT:editorresizemeisterT/domjudge:editorresizeCopy head branch name to clipboard