Define settings at one place, others follow
Sorting by clicking on the headers
draw headers in a different font.
prevent servers from custom formatting
remember sorting order
remember filter
Merge branch 'master' of https://github.com/learn-more/openspades