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.
---
þ Synchronet þ Vertrauen þ Home of Synchronet þ [vert/cvs/bbs].synchro.net
From Rob Swindell@VERT to GitLab note in main/sbbs on Wed Oct 23 10:13:53 2024
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
---
þ Synchronet þ Vertrauen þ Home of Synchronet þ [vert/cvs/bbs].synchro.net
From Rob Swindell@VERT to GitLab note in main/sbbs on Wed Oct 23 10:25:06 2024