Gtk.Notebook.prototype.set_menu_label

function set_menu_label(child:Gtk.Widget, menu_label:Gtk.Widget):void {
    // Gjs wrapper for gtk_notebook_set_menu_label()
}