set_extra_widget


Description:

public void set_extra_widget (Widget widget)