Add "no default" download protocol to user settings

Add an option to remove the default protocol from user settings so the user will be asked which protocol to use. Currently once the protocol is set, it's set.

assigned to @rswindell

Hitting Enter at the Protocol prompt changes the default download protocol to "no default".

Maybe we can add that to the "Protocol or Quit" string?

That string is used in other places (where ENTER doesn't change the default download protocol to "no default"). But user_settings.js could have its own text/string for that context. It doesn't have to use the ProtocolOrQuit text.dat string, like it does currently

The current user_settings.js already has this text though: "Choose a default file transfer protocol (or [ENTER] for None):"

Isn't that clear already?

closed