protected void delete_tag_dialog(string tag_name, float top, float left)
        {
            string resp        = "";
            int    craft_count = CraftData.cache.tag_craft_count_for(tag_name);

            show_dialog("Delete Tag", "Are you sure you want to delete this tag?", top, left, 400f, true, d => {
                if (active_save_dir == all_saves_ref)
                {
                    label("You are viewing craft from all saves, this tag will be deleted in each of your saves.", "alert.h3");
                }
                if (craft_count > 0)
                {
                    label("This tag is used by " + craft_count + " craft.");
                    label("deleting tags will not delete any craft", "compact");
                }
                section(() => {
                    fspace();
                    button("Cancel", close_dialog);
                    resp = submit("Delete", "button.delete", () => {
                        return(Tags.remove(tag_name, active_save_dir));
                    });
                });
                return(resp);
            });
        }