Updated sourceview plugin for editing html.