prev_page
Description:
public void prev_page ()
Switches to the previous page.
Nothing happens if the current page is the first page.
Parameters:
| this |
a `GtkNotebook` |
Switches to the previous page.
Nothing happens if the current page is the first page.
| this |
a `GtkNotebook` |