Dev

Updated the sourceview plugin to allow editing html source code.