edit the tinymce patch (theme.min.js)