Hello Frank,
Revolution Slider is a slideshow plugin ( https://revolution.themepunch.com) that can be managed in the backend. It appears as a separate menu-item in the admin menu.
When I activate Adminimize, it automatically hides the Revolution Slider menu for editors.
But there is more: I have the same problem with Woocommerce products that are automatically hidden, although I have not selected this.
And I have the opposite problem with the Visual Composer menu: although I have selected it to be hidden, i stills appears in the menu.
Best Regards,
Nathan
