search

inducer / relate

RELATE is an Environment for Learning And TEaching
http://documen.tician.de/relate
Other
372 stars 115 forks source link

Vertically resizable text areas #1019

Open nicknytko opened 10 months ago

nicknytko commented 10 months ago

It would be nice if the text area element could either be vertically resizable, or if it automatically fills the page. This could probably be done by a css property:

https://developer.mozilla.org/en-US/docs/Web/CSS/resize

My use case:

image

it would be nice to have more room to edit text.

inducer commented 10 months ago

Totally agree. #1012 contains a switch to CodeMirror 6, which makes the editor as big as the text contained in it, instead of having it be independently scrollable. That should address the concern, I think (in addition to avoiding burning people's retinas at night).