/**
* Appends the given character and marks it as ignored if it is a whitespace ({@code ch <= ' '})
* or a padding character
*
* <p>If the given character is equal to {@link Format#getNormalizedNewline()}, then the character
* sequence returned by {@link Format#getLineSeparator()} is going to be appended.
*
* @param ch character to append
* @param padding the padding character
*/
@Override
public final void appendIgnoringWhitespaceAndPadding(char ch, char padding) {
if (ch == newLine && denormalizeLineEndings) {
super.appendIgnoringWhitespaceAndPadding(lineSeparator1, padding);
if (lineSeparator2 != '\0') {
super.appendIgnoringWhitespaceAndPadding(lineSeparator2, padding);
}
} else {
super.appendIgnoringWhitespaceAndPadding(ch, padding);
}
}
