[ Version ( since = "3.10" ) ]
public unowned Widget? get_header ()
Returns the current header of the this.
This can be used in a ListBoxUpdateHeaderFunc to see if there is a header set already, and if so to update the state of it.
| this |
|
the current header, or null if none |