fixup! Fix with-editor-looping-editor