get_position


Description:

public int get_position ()

Obtains the position of the divider between the two panes.

Parameters:

this

a `GtkPaned` widget

Returns:

the position of the divider, in pixels