Gtk.UIManager.prototype.remove_ui

function remove_ui(merge_id:Number):void {
    // Gjs wrapper for gtk_ui_manager_remove_ui()
}