set_separator

Description:

public void set_separator (Widget? separator)

Sets the separator widget for this.

Parameters:

this

a flap
separator

the separator widget