add_action( 'admin_init', 'gkp_remove_editor_menu' );
function gkp_remove_editor_menu() {
    remove_submenu_page( 'themes.php', 'theme-editor.php' );
}