TableHeaders are painted several pixels left to the column they're above.
Also, table headers are rendered using a style similar to JButtons; we need
to pass the TABLE widget type down to native GTK so that it paints the table
header like native (see 6417110).