used code below to allow Editor access to menus – but change permanent, how do I revert?

by

From WordPress Codex:

Changing the capabilities of a role or user is persistent, meaning the
added capability will stay in effect until explicitly revoked.

You might want to do something like:

$roleObject = get_role( 'editor' );
if ($roleObject->has_cap( 'edit_theme_options' ) ) {
    $roleObject->remove_cap( 'edit_theme_options' );
}