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.
Excellent idea! As the same js is used for the runnable boxes on
the dlang.org main page, I didn't want to touch the editor that
much (initially). Anyway I submitted a PR that changes the output
element to <pre>:
As imho the border doesn't look that bad and for the same reason
as above I didn't remove the border. See a visual comparison here:
Are you or others still in favor of removing the border?