Redux ReferenceError: tinymce is not defined

Hi, this error occurs when the user has the wp editor disabled from its profile. This will prevent saving theme options

Cheers

Using Redux version 3.5.8.1

[kprovance]

Please review out posting guidelines: https://github.com/reduxframework/redux-framework/blob/master/CONTRIBUTING.md

Redux is used inside a theme developed by us and the Javascript error generated is
Redux ReferenceError: tinymce is not defined
We are developing locally, sorry if I missed something

[kprovance]

I'm not sure how to proceed, since non of the information I asked for was given.