Nightly: fine-tune table header (#514).

Only show the filter symbol if the column is filtered.