gtk-kt
gtk
/
org.gtk.gtk.widgets
/
Notebook
/
prependPageMenu
prepend
Page
Menu
fun
prependPageMenu
(
child
:
Widget
,
tabLabel
:
Widget
?
,
menuLabel
:
Widget
?
)
:
Int
Content copied to clipboard
See also
gtk_notebook_prepend_page_menu