set_widget
Description:
public void set_widget (
Widget? widget)
Sets the widget in the header to be widget.
If widget is null, then the header button is set with a
Label set to the title of this.
Parameters:
| this |
A TreeViewColumn.
|
| widget |
A child Widget, or null.
|