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 ?>