Gtk.Menu.prototype.set_screen

function set_screen(screen:Gdk.Screen):void {
    // Gjs wrapper for gtk_menu_set_screen()
}