Add some extensions and options to the codemirrors used in the demo page
Add some extensions and options to the codemirrors used in the demo page

codemirror/google-modes,codemirror/google-modes,codemirror/google-modes,codemirror/google-modes,codemirror/google-modes,codemirror/google-modes,codemirror/google-modes,codemirror/google-modes,codemirror/google-modes