Gtk.Menu.prototype.reposition

function reposition():void {
    // Gjs wrapper for gtk_menu_reposition()
}