Gtk.Notebook.prototype.set_menu_label_text

function set_menu_label_text(child:Gtk.Widget, menu_text:String):void {
    // Gjs wrapper for gtk_notebook_set_menu_label_text()
}