I would also strongly prefer a simple text area. While the current solution does provide some sort of syntax highlihting, it does not support copy & paste:
pasting with shift+insert does not work (paste clipboard)
pasting with middle mouse button does not work (paste selection, used mostly to paste from consoles)
Copying works only partially - you can copy into clipboard, but if you just mark a selection and then use middle mouse button to paste it into console - it does not work
Ordinary text area does not suffer from any of these shortcomings.
And due to major bugs in the visual editor (the visual editor somehow fails to grab keyboard shortcuts used by browser that are disabled in text areas or in other visual editors on other sites, so pressing "c" will open cookie manager, pressing "z" will go back to previous page (and instantly losing all the changes you've edited), etc .... the visual editor is even less usable than the source editor (at least copying and pasting works there though).
I would also strongly prefer a simple text area. While the current solution does provide some sort of syntax highlihting, it does not support copy & paste:
pasting with shift+insert does not work (paste clipboard)
pasting with middle mouse button does not work (paste selection, used mostly to paste from consoles)
Copying works only partially - you can copy into clipboard, but if you just mark a selection and then use middle mouse button to paste it into console - it does not work
Ordinary text area does not suffer from any of these shortcomings.
And due to major bugs in the visual editor (the visual editor somehow fails to grab keyboard shortcuts used by browser that are disabled in text areas or in other visual editors on other sites, so pressing "c" will open cookie manager, pressing "z" will go back to previous page (and instantly losing all the changes you've edited), etc .... the visual editor is even less usable than the source editor (at least copying and pasting works there though).