get_position
Description:
Obtains the position of the divider between the two panes.
Parameters:
| this |
a `GtkPaned` widget |
Returns:
|
the position of the divider, in pixels |
Obtains the position of the divider between the two panes.
| this |
a `GtkPaned` widget |
|
the position of the divider, in pixels |