Cannot get access to theme editor

Since installing this great plugin, I no longer see the Editor option under Dashboard > Appearance – for editting my theme files.

Can anyone tell me what I have to correct/undo to get this back?

https://www.ads-software.com/plugins/all-in-one-wp-security-and-firewall/