Removed mark-selection add-on.  Will add this in a different PR.  Also removed default settings from CodeMirrorAddon.js