get_position

Description:

public int get_position ()

Obtains the position of the divider between the two panes.

Parameters:

this

a Paned widget

Returns:

position of the divider