On Friday, 17 February 2017 at 13:50:48 UTC, John Colvin wrote:
Might I suggest you change the output <textarea>s to <pre>s with border: none; and max-height: 30em; This would make them auto-grow to the right height to fit the content (with max-height for sanity). It does mean you lose manual resizability (unless you mess around in js to sort out the clash with max-height)), but that doesn't seem so important if it auto-resizes.
+1
