I have an html page with a textarea in which users type python code. I'd like for the input python code to be highlighted as they type, much as a desktop-based IDE would do.
Unlike this question, I don't want the code to be passed to the server and returned highlighted - I'd like for it all to be done by javascript in the browser.
Rather than re-invent the wheel, is there an existing open source javascript library which would do this?