remove_hidden_header

Description:

public void remove_hidden_header (string header)

Removes the given header from the list of headers that should be hidden.

Parameters:

this

a FormatOptions
header

a header name