Make sure editor exists

This is for #9331