Add an explicit "default editor" option to the user settings