emitPageReordered

fun emitPageReordered(child: Widget, pageNum: <Error class: unknown class>)(source)

Emits the "page-reordered" signal. See onPageReordered.

child

the child GtkWidget affected

pageNum

the new page number for @child