Index: /trunk/source/library/cover.lisp =================================================================== --- /trunk/source/library/cover.lisp (revision 14935) +++ /trunk/source/library/cover.lisp (revision 14936) @@ -773,10 +773,17 @@ sel.focus(); sel.onchange = tags_changed; - sel.style.width = sel.offsetWidth + 'px'; var fs = top.document.getElementById('tagsframeset'); - fs.cols = (sel.offsetLeft + sel.offsetWidth) + 'px,*'; - + fs.cols = Math.min(sel.offsetLeft + sel.offsetWidth, 0.3 * fs.scrollWidth) + 'px,*'; + resize_tags(); } + +function select_tags (tags) { + var sel = document.getElementById('tagsselect'); + for (var i = 0; i < sel.length; i++) sel[i].selected = false; + var len = tags.length; + for (var i = 0; i < len; i++) sel[tags[i]].selected = true; +} + " *coverage-frame-name*) @@ -810,4 +817,5 @@ var tags_frame = document.createElement('frame'); tags_frame.src = '~0@*~a'; + tags_frame.name = 'tagsframe'; file_frame = document.createElement('frame'); file_frame.name = 'T~1@*~a'; @@ -1219,4 +1227,26 @@ } + +function show_tags (sn) { + tags_frame = top.frames.tagsframe; + if (tags_frame && tags_frame.select_tags) { + var tags = new Array(); + var outer_notes = SourceCodeNotes[sn].slice(0); + var total = CodeTags.length - 1; + for (cn = total - 1; cn >= 0; cn--) { + if (is_member(CodeParents[cn], outer_notes)) { + outer_notes.push(cn); + var new_tags = CodeTags[cn]; + var n = new_tags.length - 1; + for (i = 0; i < n; i++) { + var tag = new_tags[i]; + if (!is_member(tag, tags)) tags.push(tag); + } + } + } + tags_frame.select_tags(tags); + } +} + ") @@ -1380,6 +1410,8 @@ for start = 0 then end as (end . acodes) in queue do (output-coverage-html-source s start end) - do (format html-stream "Show expansion~%~ -
" prefix start) + do (format html-stream "Show expansion~%" prefix start) + do (when *coverage-tags* + (format html-stream "   Show tags~%" start)) + do (format html-stream "
" prefix start) do (loop for (acode . notes) in acodes do (with-input-from-vector (astream acode :external-format :utf-8)