Update the settings file much faster when Make Default is pressed
Use the default back color and Normal style for new windows
Don't bail for unknown options