protected void change_tag_sort(string sort_by)
 {
     tag_sort_by = sort_by;
     Tags.sort_tag_list();
     CraftManager.settings.set("sort_tags_by", tag_sort_by);
 }