Is there a syntax highlighting plugin for HTML View? [duplicate]

I was looking forever for the solution. I finally found this plugin which actually does a lot of things. But i only used the option to add a HTML button to the row of buttons which lets you edit post/page html with CodeMirror (http://codemirror.net/) highlighting.

Link to plugin: http://wordpress.org/extend/plugins/ultimate-tinymce/