Pager.with_handle

Description:

[ CCode ( has_construct_function = false , type = "GtkWidget*" ) ]
public Pager.with_handle (Handle handle)

Creates a new Pager.

The Pager will show the Workspace of the Screen it is on.

Parameters:

handle

a Handle

Returns:

a newly created Pager.