Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
WebUI: Improved Script Code Editor #470
To improve usability of the Scripting Environment in the WebUI, a new modern Code Editor (e.g. on the basis of CodeMirror) should be integrated in the WebUI. The current scripting code editor is very limited and just a plain textarea without syntax highlighting and such.