Glad you find it useful! We're using Code mirror for the code editor https://codemirror.net/