remove_hidden_header

Description:

public void remove_hidden_header (string header)

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

this	a FormatOptions
header	a header name