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
|
<!doctype html>
<html lang="en">
<head>
<title>Search | 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 = "Search";
var scdoc_sc_version = "";
</script>
<script src="docmap.js" type="text/javascript"></script>
<script src="scdoc.js" type="text/javascript"></script>
<script src="search.js"></script>
</head>
<body onload="onLoad()">
<noscript>
<p>The search page needs JavaScript.</p>
</noscript>
<div id="menubar"></div>
<div class='contents'>
<div class='header'>
<h1>Search</h1>
<div id='summary'>Search all documents</div>
</div>
<div id="search_checks0">
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="search_box">
Search text:
<input type="text" id="search_input" value="" size="40" onkeyup="SearchKeyPressed(this)" />
</div>
<table id="search_settings">
<td>Options:
<td>
<div id="search_checks">
<input type="checkbox" id="ignore_case" checked="true">Ignore case</input>
<input class="nonregex" type="checkbox" id="check_word">Whole word</input>
<input class="nonregex" type="checkbox" id="check_prefix">Starts with</input>
<input class="nonregex" type="checkbox" id="check_suffix">Ends with</input>
<input type="checkbox" id="check_regexp">Regexp</input>
</div>
<tr>
<td>Match:
<td>
<div id="search_checks">
<input type="checkbox" id="check_title" checked="true">Title/Filename</input>
<input type="checkbox" id="check_summary" checked="true">Summary</input>
<input type="checkbox" id="check_categories">Categories</input>
<input type="checkbox" id="check_methods" checked="true">Methods</input>
</div>
</table>
<div id="random">
<a href="javascript:randomDoc()">random page</a>
</div>
<div id="search_count">0 results</div>
<div id="search_results"></div>
<div id="js_error"></div>
</div>
</body>
</html>
|
