| 520 | } |
| 521 | |
| 522 | static void writeNumber(FILE *stream, int indent, const char *name, double defaultNumber, double number) { |
| 523 | if(number == defaultNumber) return; /* don't output default */ |
| 524 | writeIndent(stream, ++indent); |
| 525 | fprintf(stream, "%s %g\n", name, number); |
| 526 | } |
| 527 | |
| 528 | static void writeCharacter(FILE *stream, int indent, const char *name, const char defaultCharacter, char character) { |
| 529 | if(defaultCharacter == character) return; |
no test coverage detected