get_top_edge


Description:

public unowned Widget get_top_edge ()

Returns:

A Widget