Searched refs:current_doctype (Results 1 – 2 of 2) sorted by relevance
82 function build_doctype_select(current_doctype) { argument86 if (doctype == current_doctype)88 all_doctypes[current_doctype] + '</option>');92 if (!(current_doctype in all_doctypes)) {94 buf.push('<option value="' + current_doctype + '" selected="selected">' +95 current_doctype + '</option>');96 all_doctypes[current_doctype] = current_doctype;208 var current_doctype = doctype_segment_from_url(window.location.href);215 var doctype_select = build_doctype_select(current_doctype);
88 function build_doctype_select(current_doctype) { argument92 if (doctype == current_doctype)94 all_doctypes[current_doctype] + '</option>');98 if (!(current_doctype in all_doctypes)) {100 buf.push('<option value="' + current_doctype + '" selected="selected">' +101 current_doctype + '</option>');102 all_doctypes[current_doctype] = current_doctype;220 var current_doctype = doctype_segment_from_url(window.location.href);227 var doctype_select = build_doctype_select(current_doctype);