Closed afs closed 2 years ago
This is a good suggestion, but looks tricky due to way that CodeMirror works. It has been asked before on the CodeMirror list, but the suggestion is to code your own resize handles, then set the element size accordingly. So: doable, but not a quick fix.
One thing that can be done is to make the CodeMirror element grow automatically in height as the content changes. I could document that in the user guide.
Closing old ticket
A plain HTML form text box is typically resizable in modern browsers. The suggestion is to add a similar feature to qonsole's query input text box.