Relates :
|
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).