Breaks Preserve Editor Scroll Position plugin :(

Works perfectly on its own, but when also installing the Preserve Editor Scroll Position plugin, it doesn’t preserve the scroll position anymore 🙁

These two plugins combined would make for a wonderful solution for editing post/pages containing lots of HTML. Is there any quick modification we could do for these two to work together?

OR… add a similar “preserve scroll position” feature to this plugin?

I realize it’s nobody’s responsibility to ensure inter-plugin compatibility (or even write free plugins in the first place!) but we would be eternally grateful a little help! Thanks!!

http://wordpress.org/extend/plugins/html-editor-syntax-highlighter/