emitPageRemoved

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

Emits the "page-removed" signal. See onPageRemoved.

Parameters

child

the child GtkWidget affected

pageNum

the @child page number