HelpSource/Browse.html

<html>
<head>
    <title>Document Browser</title>
    <link rel='stylesheet' href='./scdoc.css' type='text/css' />
    <meta http-equiv='Content-Type' content='text/html; charset=UTF-8' />
    <script src="docmap.js" type="text/javascript"></script>
    <script src="scdoc.js" type="text/javascript"></script>
<style>

.browser {
    margin: 0em;
    border-collapse: collapse;
    margin-top: 1em;
}
.result {
    padding: 2px;
}
.browser td {
    vertical-align: top;
    border: none;
}
.result_doc {
    border-bottom: 1px solid #ddd;
    margin-top: 0.5em;
}
.result_summary {
    color: #444;
    font-size: 9pt;
    max-width: 18em;
    margin-bottom: 0.6em;
}
.category, .cat_selected {
    margin-bottom: 0.25em;
    border-bottom: 1px solid transparent;
}
.cat_selected {
    border-bottom: 1px solid #777;
}
.cat_header {
    border-bottom: 2px solid #999;
    color: #777;
/*    background: #aaa;
    color: white;*/
    margin-bottom: 0.25em;
    padding: 2px;
/*    font-weight: bold;*/
}
.category a {
    color: #555;
    font-weight: bold;
}
.cat_selected a {
    color: #000;
    font-weight: bold;
}
.cat_arrow {
    float: right;
    padding-left: 1ex;
    color: #555;
}

#search_checks {
    font-size: 9pt;
    color: #555;
    border-bottom: 1px solid #ddd;
    margin-top: 1em;
    padding-bottom: 1em;
}
.cat_count {
    color: #777;
    font-size: 9pt;
}
#total_count {
    font-size: 9pt;
    color: #777;
}
.doc_kind {
    color: #666;
    float: right;
    font-size: 8pt;
    padding: 0 2px;
    margin-left: 0.5ex;
    font-weight: bold;
}
</style>

<noscript>
<!--<meta http-equiv="refresh" content="3; URL=Overviews/Categories.html">
<p>JavaScript is not available, redirecting to <a href="Overviews/Categories.html">static category overview</a>...-->
<p>The document browser needs JavaScript.
</noscript>

<script type="text/javascript">
var categorytree = null;
var path = [];

function GotoPath(p) {
    path = p.split(">");
    var x = escape(p);
    if(window.location.hash != x)
        window.location.hash = x;
    updateTree();
}

function updateTree() {
    var el = document.getElementById("browser");
    var res = "<tr><td>";
    var lev = 0;
    var tree = {entries:[],subcats:categorytree};
    var p;
    var done = 0;
    var sel;
    var colors = {
        "Classes": "#7ab",
        "Reference": "#7b9",
        "Overviews": "#ca6",
        "Guides": "#b87",
        "Tutorials": "#b77",
    };
    link = "";

    while(1) {
        res += "<div class='result'>";
        p=path[lev++];

        var l = [];
        for(var k in tree.subcats)
            l.push(k);
        l = l.sort();

        sel = "";
        for(var i=0;i<l.length;i++) {
            var k = l[i];
            if(k==p) {
                res += "<div class='cat_selected'>";
                sel = k;
            } else
                res += "<div class='category'>";
            res += "<a href='javascript:GotoPath(\""+link+k+"\")'>"+k+"</a>";
            res += " <span class='cat_count'>("+tree.subcats[k].count+")</span>";
            if(k==p)
                res += "<span class='cat_arrow'> &#9658;</span>";
            res += "</div>";
        }

        for(var i=0;i<tree.entries.length;i++) {
            var v = tree.entries[i];
            var x = v.path.split("/");

            res += "<div class='result_doc'><span class='doc_kind' ";
            var clr = colors[x[0]];
            if(clr) {
                res += "style='color:"+clr+";'";
            };
            res += ">";
            if(v.installed=="extension")
                res += "+";
            else if(v.installed=="missing")
                res += "(not installed) ";
            res += x[0].toUpperCase()+"</span><a href='"+v.path+".html'>"+v.title+"</a></div><div class='result_summary'>"+v.summary+"</div>";
        }

        res += "</div>";

        if(!p)
            break;
        tree = tree.subcats[p];
        link += p+">";
        res += "<td>";
        res += "<div class='cat_header'>"+sel+"</div>";
        if(!tree) {
            res += "<div class='result_summary'>&#9658; Category not found: "+p+"</div>";
            break;
        }
    }
    el.innerHTML = res;
}

function countTree(t) {
    var x = 0;
    for(var k in t.subcats)
        x += countTree(t.subcats[k]);
    x += t.entries.length;
    return t.count = x;
}

function buildCategoryTree() {
    var cats = {};
    for(var k in docmap) {
        var v = docmap[k];

        if(v.installed=="extension" && !check_extensions.checked)
            continue;

        if(filter.value != "all" && v.path.split("/")[0].toLowerCase() != filter.value)
            continue;

        var c2 = v.categories.match(/[^, ]+[^,]*[^, ]+/g) || ["Uncategorized"];
        for(var i=0;i<c2.length;i++) {
            var c = c2[i];
            if(!cats[c])
                cats[c]=[];
            cats[c].push(v);
        }
    }

    var tree = {};
    var p,l,e,a;
    for(var cat in cats) {
        var files = cats[cat];

        p=tree;
        l=cat.split(">");

        for(var i=0;i<l.length;i++) {
            var c = l[i];

            if(!p[c]) {
                p[c]={};
                p[c].subcats = {};
                p[c].entries = [];
                p[c].count = 0;
            }
            e=p[c];
            p=p[c].subcats;
        }

        for(var i=0;i<files.length;i++)
            e.entries.push(files[i]);

        e.entries = e.entries.sort(function(a,b) {
            a=a.title; b=b.title;
            if(a<b) return -1;
            else
            if(a>b) return +1;
            else
            return 0;
        });
    }

    categorytree = tree;

    document.getElementById("total_count").innerHTML = countTree({subcats:tree,entries:[],count:0}) + " documents";
}

var check_extensions;
var filter;

window.onload = function() {
//    restoreMenu();
    helpRoot="."; fixTOC();
    var onChange = function() {
        buildCategoryTree();
        updateTree();
    };

    check_extensions = document.getElementById("check_extensions");
    check_extensions.onchange = onChange;
    filter = document.getElementById("menu_filter");
    filter.onchange = onChange;

    buildCategoryTree();
    GotoPath(unescape(window.location.hash.slice(1)));
}

window.onhashchange = function() {
    GotoPath(unescape(window.location.hash.slice(1)));
}

</script>

</head>
<ul id="menubar"></ul>

<body>
<div class='contents'>
<div class='header'>
    <div id='label'>SuperCollider</div>
    <h1>Document Browser</h1>
    <div id='summary'>Browse categories</div>
</div>
<div id="search_checks">
Filter:
<select id="menu_filter">
<option SELECTED value="all">All documents</option>
<option value="classes">Classes only</option>
<option value="reference">Reference only</option>
<option value="guides">Guides only</option>
<option value="tutorials">Tutorials only</option>
<option value="overviews">Overviews only</option>
<option value="other">Other only</option>
</select>
<input type="checkbox" id="check_extensions" checked="true">Include extensions</input>
</div>

<div id="total_count"></div>
<table class="browser" id="browser"></table>
</div>
</body>
</html>