+ else if (StringMatch(settingName, "ignoreBadRefs", FALSE, TRUE))
+ ignoreBadRefs = StringTobool(settingValue);
+ else if (StringMatch(settingName, "htmlFaceName", FALSE, TRUE))
+ {
+ delete[] htmlFaceName;
+ htmlFaceName = copystring(settingValue);
+ }