api_filter.cs revision 920dbbbaca6aa578f3b26d89e99d12754c26ed60 
1<?cs # The default API filter selector that goes in the header ?><?cs
2def:default_api_filter() ?>
3  <div id="api-level-toggle">
4    <input type="checkbox" id="apiLevelCheckbox" onclick="toggleApiLevelSelector(this)" />
5    <label for="apiLevelCheckbox" class="disabled">Filter by API Level: </label>
6    <select id="apiLevelSelector">
7      <!-- option elements added by buildApiLevelSelector() -->
8    </select>
9  </div>
10  <script>
11    var SINCE_DATA = [ <?cs
12      each:since = since ?>'<?cs
13        var:since.name ?>'<?cs
14        if:!last(since) ?>, <?cs /if ?><?cs
15      /each
16    ?> ];
17    buildApiLevelSelector();
18  </script>
19<?cs /def ?>