1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161
|
<!doctype html>
<html lang="en">
<head>
<title>Documents | SuperCollider Help</title>
<meta name="viewport" content="width=device-width, initial-scale=1">
<meta http-equiv='Content-Type' content='text/html; charset=UTF-8' />
<link rel='stylesheet' href='../scdoc.css' type='text/css' />
<link rel='stylesheet' href='../custom.css' type='text/css' />
<script src="../lib/jquery.min.js"></script>
<script>
var scdoc_title = "Documents";
var scdoc_sc_version = "";
</script>
<script src="../docmap.js" type="text/javascript"></script>
<script src="../scdoc.js" type="text/javascript"></script>
<noscript>
<p>The document index needs JavaScript.
</noscript>
<script type="text/javascript">
var node;
var docs;
var check_extensions;
var filter;
function did_load() {
// restoreMenu();
helpRoot=".."; fixTOC();
node = document.getElementById("doclist");
docs = [];
for(var k in docmap) {
if(docmap.hasOwnProperty(k))
docs.push(docmap[k]);
}
docs = docs.sort(function(a,b) {
a = a.title.toUpperCase();
b = b.title.toUpperCase();
if(a<b) return -1;
else
if(a>b) return +1;
else
return 0;
});
var onChange = function() {
showdocs();
};
check_extensions = document.getElementById("check_extensions");
check_extensions.onchange = onChange;
filter = document.getElementById("menu_filter");
filter.onchange = onChange;
showdocs();
}
function showdocs() {
while(node.hasChildNodes())
node.removeChild(node.lastChild);
var count = 0;
var cap = undefined;
var div = document.createElement("p");
var docs2 = [];
div.className = "jump";
div.innerHTML = "Jump to: ";
for(var i=0;i<docs.length;i++) {
var v = docs[i];
var x = v.title[0].toUpperCase();
if(v.installed=="extension" && !check_extensions.checked)
continue;
if(filter.value != "all" && v.path.split("/")[0].toLowerCase() != filter.value)
continue;
if(/Undocumented classes/.test(v.categories))
continue;
if(cap != x) {
cap = x;
var a = document.createElement("a");
a.setAttribute("href","#section_"+cap);
a.innerHTML=cap;
div.appendChild(a);
div.appendChild(document.createTextNode(" "));
}
docs2.push(v);
}
node.appendChild(div);
cap = undefined;
for(var i=0;i<docs2.length;i++) {
var v = docs2[i];
var x = v.path.split("/");
var c = v.title[0].toUpperCase();
if(cap != c) {
var y = document.createElement("h2");
var a = document.createElement("a");
a.className = "anchor";
a.setAttribute("name","section_"+c);
a.innerHTML = cap = c;
y.appendChild(a);
node.appendChild(y);
}
var div = document.createElement("div");
div.className = "result_item";
var n = document.createElement("a");
var link = v.hasOwnProperty("oldhelp")?v.oldhelp:("../"+v.path+".html");
n.setAttribute("href",link);
n.innerHTML = v.title;
div.appendChild(n);
div.appendChild(document.createTextNode(" - "+v.summary+" "));
n = document.createElement("span");
n.className = "soft";
var res = "["+x[0];
if(v.installed=="extension")
res += " +";
else if(v.installed=="missing")
res += " - missing!";
n.innerHTML = res+"]";
div.appendChild(n);
node.appendChild(div);
count++;
}
document.getElementById("total_count").innerHTML = count + " documents";
}
</script>
</head>
<body onload="did_load()">
<div id="menubar"></div>
<div class='contents'>
<div class='header'>
<div id='label'><span id='folder'>Overviews</span></div>
<h1>Documents</h1>
<div id='summary'>Alphabetical index of all documents</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>
<div id='doclist'></div>
</div>
</body>
</html>
|