Hi,
I was able to change the row header in ThemeBuilder thru
Appearances – > Table -> Default -> Properties
rowHeight: from 36 -> 30
headerCellHeight: from 40 -> 30
However, I can’t find a way on how change the height of Column Header. Tried Table Header Cell and set Height=30 but has no effect.
Am I on the right Appearances node?
Thanks,
Cris
You have the correct node
Table/Default/Properties/headerCellHeight
That is the height of the column headers, and it’s the themed value of the property DataGridView.ColumnHeadersHeight. This is one of those properties that are themed and changeable in the app, like the colors and others.
However, there is also the Table Header Cell/Default/Properties/Padding that is probably preventing the header height to go below the padding + text. The Table Header Cell acts on the actual cell. I believe the default padding that we have is 5,5,5,5. Set it to 0 or 0,5,0,5 to keep the left and right padding. If the the top and bottom are 0 you are only limited by the height of the text and the headerCellHeight = 30 should work.
This is related to an issue reported by Tiago where the header of the row headers column gets smaller than the other headers. That’s because with out a text in it, the widget doesn’t enforce a minimum layout.
Best,
Luca
