Board Thread:Support Requests - Community Management/@comment-4700340-20141011124110/@comment-5007040-20141011131631

Yeah, you can also do that, you can't disable it. It'll always be in the dropdown menu of the edit button. You can only disable it of being the standard editor ;)

Btw you can advice users using another editor.