Code editor for the modern web