TinyMCE HTML Encode Backslash

by

ok so finally found a solution to this. i had to edit class-wp-editor.php and include the following for the $first_init array 

                'setup' => 'function(ed) 
                {                        
                    ed.onGetContent.add(function(ed, o) {
                        // Replaces all a characters with b characters
                        o.content = o.content.replace(/\\\\/g, "\");
                    });
                }',