Table headers have a minimum size and should no longer lose their labels when a thin column is used for sorting
#9631: Don't leave commented stuff hanging around
Merge pull request #123 from jmiettinen/jarkko-9631

Table headers should no longer lose their labels