\$EDITOR in options.